Automatic generation of property-based tests for theverification of quantum algorithms
Nuestro compañero Macario Polo ha presentado la ponencia Automatic generation of property-based tests for the verification of quantum algorithms en el Workshop on Integrating Quantum...