Galleta

Cookies

El sitio web de la UCLM utiliza cookies propias y de terceros con fines técnicos y de análisis.

Aviso de Cookies





  •   NOTICIAS

    • Automatic generation of property-based tests for theverification of quantum algorithms

    17 de Diciembre del 2024



    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 and Classical Software Systems de la 22nd International Conference, ICSOC 2024 (Service-Oriented Computing), celebrada en Túnez del 3 al 6 de diciembre de 2024.

  •   Ir a Noticias