BoogiePL: A typed procedural language for checking object-oriented programs (2005)

Cached


by Robert Deline , K. Rustan , M. Leino
Citations:82 - 8 self