%0 Journal Article
%A Szabolcs Márien
%T Decision based examination of object-oritented methodology using JML
%J Annales mathematicae et informaticae
%D 2008
%P 95-121
%V 35
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMI_2008_35_a7/
%G en
%F AMI_2008_35_a7