@InProceedings{Cousot-CSV2023, author = "Patrick Cousot", title = "Abstract Interpretation: From 0, 1, To \infty", booktitle = "Challenges of Software Verification", year = "2023", editor = "Vincenzo Arceri and Agostino Cortesi and Pietro Ferrara and Martina Olliaro", volume = "238", series = "Intelligent Systems Reference Library (ISRL)", pages = "1--19", month = mar, publisher = "Springer Nature Singapore", note = "\url{https://link.springer.com/book/9789811996009}", }
Monday, 19-Dec-2022 18:41:01 EST