Researcher profile
K. Rustan M. Leino
1 paper in the PaperMetrix corpus
Publications
Papers by this author
-
dafny-lang/b3
2025 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
An intermediate verification language