Towards Quantum Programs Verification: From Quipper Circuits to QPMC.

Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani

Browse the full RC paper archive.