@article{Farzan_2024,
    title = {Commutativity Simplifies Proofs of Parameterized Programs},
    volume = {8},
    issn = {2475-1421},
    url = {http://dx.doi.org/10.1145/3632925},
    doi = {10.1145/3632925},
    number = {POPL},
    journal = {Proceedings of the ACM on Programming Languages},
    publisher = {Association for Computing Machinery (ACM)},
    author = {Farzan, Azadeh and Klumpp, Dominik and Podelski, Andreas},
    year = {2024},
    month = {jan},
    pages = {2485–2513},
    date-added = {2025-4-16 6:57:31 +0100}
}

@article{Farzan_2024, title = {Commutativity Simplifies Proofs of Parameterized Programs}, volume = {8}, issn = {2475-1421}, url = {http://dx.doi.org/10.1145/3632925}, doi = {10.1145/3632925}, number = {POPL}, journal = {Proceedings of the ACM on Programming Languages}, publisher = {Association for Computing Machinery (ACM)}, author = {Farzan, Azadeh and Klumpp, Dominik and Podelski, Andreas}, year = {2024}, month = {jan}, pages = {2485–2513}, date-added = {2025-4-16 6:57:31 +0100} }