A
Menu
June 07, 2019 conference-paper Open access

An applied quantum Hoare logic

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

DOI: 10.1145/3314221.3314584 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 3 stored of 73

3 results

References 0