@article{10.1145_3725725,
    author = {Abdulla, Parosh Aziz},
    title = {A Symbolic Approach to Verifying Quantum Systems},
    year = {2025},
    issue_date = {June 2025},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    volume = {68},
    number = {6},
    issn = {0001-0782},
    url = {https://doi.org/10.1145/3725725},
    doi = {10.1145/3725725},
    journal = {Commun. ACM},
    month = {jun},
    pages = {84},
    numpages = {1},
    date-added = {2026-3-15 12:33:21 +0100}
}

@article{10.1145_3725725, author = {Abdulla, Parosh Aziz}, title = {A Symbolic Approach to Verifying Quantum Systems}, year = {2025}, issue_date = {June 2025}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, volume = {68}, number = {6}, issn = {0001-0782}, url = {https://doi.org/10.1145/3725725}, doi = {10.1145/3725725}, journal = {Commun. ACM}, month = {jun}, pages = {84}, numpages = {1}, date-added = {2026-3-15 12:33:21 +0100} }