Integrated Formal Methods
Elvira Albert
Integrated Formal Methods - 2014 - Springer 2014 - Lecture Notes in Computer Science .
9783319101811
Computer Science
Software Engineering
Integrated Formal Methods - 2014 - Springer 2014 - Lecture Notes in Computer Science .
9783319101811
Computer Science
Software Engineering