Formal methods state of the art and new directions - Boca, Paul.; Bowen, Jonathan P.; Siddiqi, Jawed; SpringerLink (Online service) (London : Springer-Verlag London, 2010)
Keywords: Formal methods (Computer science); Computer Science; Software Engineering; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters