Boogie: A Modular Reusable Verifier for Object-Oriented Programs

著者: Michael Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, K. Rustan M. Leino - Lecture notes in computer science 2005 被引用: 795