Formal Methods: Foundations and Applications
Juliano Iyoda, Leonardo Moura
Formal Methods: Foundations and Applications - Springer 2013 - Lecture Notes in Computer Science .
9783642410710
Computer Science, general
Formal Methods: Foundations and Applications - Springer 2013 - Lecture Notes in Computer Science .
9783642410710
Computer Science, general