Roxana-Mihaela Timon
where else to find them
no profile links on file
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- K. Rustan M. Leinoonce
- Ștefan Ciobâcăonce
- Ștefan Mercașonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| The Design of an Interactive Proof Mode for Dafny | Dafny 2026 | 2026-01-11 |
Prototype interactive proof mode for Dafny that back-translates SMT-LIB VCs (generated via Boogie and Z3) into Dafny-like goals using injected protect_ helper… | ||
| nothing matches | ||