Decision based examination of object-oritented methodology using JML.
Márien, Szabolcs
Annales Mathematicae et Informaticae, Tome 36 (2008), p. 95-121 / Harvested from The Electronic Library of Mathematics
Full (PDF)
Publié le : 2008-01-01
EUDML-ID : urn:eudml:doc:230082 
@article{05770429,
     title = {Decision based examination of object-oritented methodology using JML.},
     journal = {Annales Mathematicae et Informaticae},
     volume = {36},
     year = {2008},
     pages = {95-121},
     zbl = {1212.68027},
     language = {en},
     url = {http://dml.mathdoc.fr/item/05770429}
}

Márien, Szabolcs. Decision based examination of object-oritented methodology using JML.. Annales Mathematicae et Informaticae, Tome 36 (2008) pp. 95-121. http://gdmltest.u-ga.fr/item/05770429/