Márien, Szabolcs. "Decision based examination of object-oritented methodology using JML.." Annales Mathematicae et Informaticae 35 (2008): 95-121. <http://eudml.org/doc/230082>.
@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 -