ملف الباحث

K. Rustan M. Leino

ورقة واحدة في مجموعة PaperMetrix

المنشورات

أوراق هذا المؤلف

dafny-lang/b3

2025 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

An intermediate verification language