Steve Counsell, Manuel N��ez Software Engineering and Formal Methods - Springer 2014 - Lecture Notes in Computer Science . ISBN: 9783319050324 Subjects--Index Terms: Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters