Concrete Categorical Model of a Quantum Circuit Description Language with Measurement. | 0 | 0.34 | 2021 |
An Automated Deductive Verification Framework for Circuit-building Quantum Programs. | 0 | 0.34 | 2021 |
Advances in Usability of Formal Methods for Code Verification with Frama-C. | 0 | 0.34 | 2019 |