Software verification and analysis an integrated, hands-on approach - Laski, Janusz; Stanley, William; SpringerLink (Online service) (London : Springer-Verlag London, 2009)
Keywords: Computer software -- Verification; Programming Techniques; Software Engineering/Programming and Operating Systems