Relational Proofs for Quantum Programs
Автор: ACM SIGPLAN
Загружено: 2020-02-05
Просмотров: 112
Presented by Li Zhou.
Presented at POPL'20
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке: