Proving quantum programs correct

Series/Report No.

Leibniz International Proceedings in Informatics, LIPIcs

Part Of

Leibniz International Proceedings in Informatics, LIPIcs

Journal Volume

193

ISBN (of the container)

978-395977188-7

ISBN

[9783959771887]

Date Issued

2021-06-01

Author(s)

Hietala K.

DOI

10.4230/LIPIcs.ITP.2021.21

URI

Event(s)

12th International Conference on Interactive Theorem Proving

Type

conference paper