DMCA

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

Cached


by Robert DeLine , K. Rustan M. Leino
Citations:99 - 8 self