Grupo Alarcos · 2022-11-17
Our colleagues Antonio García de la Barrera Amo, Manuel A. Serrano, Ignacio García, Macario Polo and Mario Piattini have presented the paper "Automatic generation of test circuits for the verification of quantum deterministic algorithms"...