Towards Classification of Lightweight Formal Methods.

Anna Zamansky, Maria Spichkova, Guillermo Rodrguez-Navas, Peter Herrmann, Jan Olaf Blech

Browse the full ENASE paper archive.