Geodesic
Decision based examination of object-oritented methodology using JML
Annales mathematicae et informaticae, Tome 35 (2008), pp. 95-121 
Szabolcs Márien. Decision based examination of object-oritented methodology using JML. Annales mathematicae et informaticae, Tome 35 (2008), pp. 95-121. http://geodesic.mathdoc.fr/item/AMI_2008_35_a7/
@article{AMI_2008_35_a7,
     author = {Szabolcs M\'arien},
     title = {Decision based examination of object-oritented methodology using {JML}},
     journal = {Annales mathematicae et informaticae},
     pages = {95--121},
     year = {2008},
     volume = {35},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AMI_2008_35_a7/}
}
TY  - JOUR
AU  - Szabolcs Márien
TI  - Decision based examination of object-oritented methodology using JML
JO  - Annales mathematicae et informaticae
PY  - 2008
SP  - 95
EP  - 121
VL  - 35
UR  - http://geodesic.mathdoc.fr/item/AMI_2008_35_a7/
LA  - en
ID  - AMI_2008_35_a7
ER  - 
%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
%U http://geodesic.mathdoc.fr/item/AMI_2008_35_a7/
%G en
%F AMI_2008_35_a7

Voir la notice de l'article provenant de la source Annales Mathematica et Informaticae website