Software Verification and Analysis An Integrated, Hands-On Approach - Stanley, William; Laski, Janusz; SpringerLink (Online service) (London : Springer London, 2009)
Keywords: Computer science; Software engineering; Computer Science; Software Engineering/Programming and Operating Systems; Software Engineering; Programming Techniques