\bibitem{Cousot-Google25} P.~Cousot. \newblock Abstract Interpretation and (Hyper)-Logics \newblock Google, New York, NY, September 17th, 2025. @inproceedings{Cousot-Google25, author = {Cousot, P{.}}, title = {Abstract Interpretation and (Hyper)-Logics}, booktitle = {Google, New York, NY}, month = sep, year = 2025, }
Monday, 29-Sep-2025 15:31:37 EDT