Roxana-Mihaela Timon
Roxana-Mihaela Timon
Affiliation: Alexandru Ioan Cuza University, Iasi, Romania
Pages in this Program
An Interactive Proof Mode for Dafny Based on Back Translation of Verification Obligations
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑