Document Versions

Theory for Software Verification –David A. Naumann — 2009