article
Open access
dafny-lang/b3
Research footprint
At a glance
- Citations
- 0
- References
- 0
- Comments
- 0
Paper overview
Abstract
An intermediate verification language
Record transparency
Publication details
- DOI
- 10.4230/artifacts.27039
- OpenAlex
- W7168597661
- Document type
- article
- Language
- EN
- Source
- DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
- Last metadata update
Comments
Log in to join the discussion.