Formal Methods: Foundations and Applications
Marcio Cornelio
Formal Methods: Foundations and Applications - 1st ed. 2016 - Springer 2016 - Lecture Notes in Computer Science .
9783319294735
Computer Science
Software Engineering
Formal Methods: Foundations and Applications - 1st ed. 2016 - Springer 2016 - Lecture Notes in Computer Science .
9783319294735
Computer Science
Software Engineering