Teaching of Formal Methods for Software Engineering.

Maria Spichkova, Anna Zamansky

Browse the full ENASE paper archive.