%0 Journal Article %1 journals/pacmpl/TamirTMSHGS23 %A Tamir, Orr %A Taube, Marcelo %A McMillan, Kenneth L. %A Shoham, Sharon %A Howell, Jon %A Gueta, Guy %A Sagiv, Mooly %D 2023 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA2 %P 1878-1904 %T Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#TamirTMSHGS23 %V 7

@article{journals/pacmpl/TamirTMSHGS23, added-at = {2023-12-10T00:00:00.000+0100}, author = {Tamir, Orr and Taube, Marcelo and McMillan, Kenneth L. and Shoham, Sharon and Howell, Jon and Gueta, Guy and Sagiv, Mooly}, biburl = {https://www.bibsonomy.org/bibtex/2a747089b0917f76addf561a94d2c4917/dblp}, ee = {https://doi.org/10.1145/3622864}, interhash = {eb74eb8d89980ff2ce5f253346328c6b}, intrahash = {a747089b0917f76addf561a94d2c4917}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {October}, number = {OOPSLA2}, pages = {1878-1904}, timestamp = {2024-04-08T09:54:49.000+0200}, title = {Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#TamirTMSHGS23}, volume = 7, year = 2023 }