@inproceedings{Farzan:LICS:2023,
    title = {Commutativity in Automated Verification},
    url = {http://dx.doi.org/10.1109/lics56636.2023.10175734},
    doi = {10.1109/lics56636.2023.10175734},
    booktitle = {In Proc.~of LICS'23},
    publisher = {IEEE},
    author = {Farzan, Azadeh},
    year = {2023},
    month = {jun},
    pages = {1--7},
    date-added = {2025-4-16 6:59:4 +0100}
}

@inproceedings{Farzan:LICS:2023, title = {Commutativity in Automated Verification}, url = {http://dx.doi.org/10.1109/lics56636.2023.10175734}, doi = {10.1109/lics56636.2023.10175734}, booktitle = {In Proc.~of LICS'23}, publisher = {IEEE}, author = {Farzan, Azadeh}, year = {2023}, month = {jun}, pages = {1--7}, date-added = {2025-4-16 6:59:4 +0100} }