%0 Journal Article
%A Todorova, Magdalina
%T Verification of Procedural Programs via Building their Generalized Nets Models
%J Mathematics and Education in Mathematics
%D 2012
%P 259-265
%V 41
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MEM_2012_41_1_a28/
%G en
%F MEM_2012_41_1_a28