Ștefan-Alexandru Mercas
Ștefan-Alexandru Mercas
Affiliation: Alexandru Ioan Cuza University, Iasi, Romania
Talks
(WPTE)
An Interactive Proof Mode for Dafny Based on Back Translation of Verification Obligations · Session 2
Pages in this Program
Program
Program on Sunday, 19 July 2026
WPTE on Sunday, 19 July 2026
WPTE Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑