@incollection{MEM_2012_41_1_a28,
     author = {Todorova, Magdalina},
     title = {Verification of {Procedural} {Programs} via {Building} their {Generalized} {Nets} {Models}},
     booktitle = {},
     series = {Mathematics and Education in Mathematics},
     pages = {259--265},
     year = {2012},
     volume = {41},
     number = {1},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MEM_2012_41_1_a28/}
}