Title
An Automated Deductive Verification Framework for Circuit-building Quantum Programs.
Year
Venue
DocType
2021
European Joint Conferences on Theory And Practice of Software
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
5
Name
Order
Citations
PageRank
Christophe Chareton100.68
Sébastien Bardin2304.88
François Bobot3536.75
Valentin Perrelle401.01
Benoît Valiron522821.00