Dafny: An Automatic Program Verifier for Functional Correctness

Leino, K. Rustan M.·2010·Lecture Notes in Computer Science
DOI 10.1007/978-3-642-17511-4_20