Grupo Alarcos · Conference paper · 2024

Generating Property-Based Tests for Quantum Algorithms

Antonio García de la Barrera Amo, Manuel Ángel Serrano Martín, Ignacio García Rodríguez de Guzmán, Macario Polo Usaola, Mario Piattini Velthuis

ICSOC Workshops (2) · 2024