Marco Antonio
About
Projects
Presentations
Posts
Resume
Tags
menu
About
Projects
Presentations
Posts
Resume
Tags
theme
quantum
2024
On Incorrectness Logic for Quantum Programs
[ slides ]
[ ENG ]
23 May