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