Dafny: An Automatic Program Verifier for Functional Correctness

DOI Web Site 2 Citations

K. Rustan M. Leino

Journal

Lecture Notes in Computer Science

Lecture Notes in Computer Science 348-370, 2010

Springer Berlin Heidelberg

Citations (2)*help

See more

Details 詳細情報について

CRID

1363107369250677760
DOI

10.1007/978-3-642-17511-4_20
ISSN

16113349

03029743
Web Site

http://link.springer.com/content/pdf/10.1007/978-3-642-17511-4_20
Data Source
- Crossref

Export

Report a problem

Back to top