Formal Methods: State of the Art and New Directions - Boca, Paul.; Bowen, Jonathan P.; Siddiqi, Jawed; SpringerLink (Online service) (London : Springer London, 2010)
Keywords: Computer science; Software engineering; Computer Science; Software Engineering; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters