Toggle Main Menu Toggle Search

ePrints

Browsing publications by Linda Anticoli

Newcastle AuthorsTitleYearFull text
Linda Anticoli
Dr Paolo Zuliani
Towards Quantum Programs Verification: From Quipper Circuits to QPMC2016