%0 Book part %A Lövei László %I Szeged %D 2006 %C University of Szeged %G English %B Conference of PhD Students in Computer Science %T Comparing specification with proved properties of clean dynamics [abstract] %U http://acta.bibl.u-szeged.hu/59871/1/cscs_2006_071.pdf