Robert Rand
Robert Rand
Courses
Publications
Talks
Service
ChiQP Lab
CV
Light
Dark
Automatic
Formal Verification vs. Quantum Uncertainty
Robert Rand
,
Kesha Hietala
,
Michael Hicks
January 2019
PDF
Cite
Slides
Type
Conference paper
Publication
Summit on Advances in Programming Languages (SNAPL 2019)
Cite
×