Decision based examination of object-oritented methodology using JML.

@article{Márien2008,
author = {Márien, Szabolcs},
journal = {Annales Mathematicae et Informaticae},
keywords = {object-oritented methodology},
language = {eng},
pages = {95-121},
publisher = {Eszterházy Károly College, Institute of Mathematics and Computer Science},
title = {Decision based examination of object-oritented methodology using JML.},
url = {http://eudml.org/doc/230082},
volume = {35},
year = {2008},
}

TY - JOUR
AU - Márien, Szabolcs
TI - Decision based examination of object-oritented methodology using JML.
JO - Annales Mathematicae et Informaticae
PY - 2008
PB - Eszterházy Károly College, Institute of Mathematics and Computer Science
VL - 35
SP - 95
EP - 121
LA - eng
KW - object-oritented methodology
UR - http://eudml.org/doc/230082
ER -