Dafny: An Automatic Program Verifier for Functional Correctness (2010)

by K. Rustan M. Leino
Citations:69 - 2 self