FMQC 2025

Workshop on Formal Methods in Quantum Computing

August 25, co-located with CONFEST 2025 in Aarhus