\textsf{symQV}: automated symbolic verification of quantum programs
scientific article; zbMATH DE number 7728843
scientific article