Antonio García de la Barrera Amo, Manuel A. Serrano, Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini. Automatic generation of test circuits for the verification of Quantum deterministic algorithms. In Fabiano Pecorelli, Vita Santa Barletta, Manuel A. Serrano, editors, Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, QP4SE 2022, Singapore, Singapore, 18 November 2022. pages 1-6, ACM, 2022. [doi]
@inproceedings{AmoSGPP22,
title = {Automatic generation of test circuits for the verification of Quantum deterministic algorithms},
author = {Antonio García de la Barrera Amo and Manuel A. Serrano and Ignacio García Rodríguez de Guzmán and Macario Polo and Mario Piattini},
year = {2022},
doi = {10.1145/3549036.3562055},
url = {https://doi.org/10.1145/3549036.3562055},
researchr = {https://researchr.org/publication/AmoSGPP22},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, QP4SE 2022, Singapore, Singapore, 18 November 2022},
editor = {Fabiano Pecorelli and Vita Santa Barletta and Manuel A. Serrano},
publisher = {ACM},
isbn = {978-1-4503-9458-1},
}