• PDF (55 KB)

• PDF (20 MB)

InProceedings{LPOP2020,
  title     = {Logic in Program Analysis and Verification},
  author    = {Patrick Cousot},
  editor    = {David S. Warren and
               Peter Van Roy and
               Yanhong A. Liu},
  booktitle = {Proceedings of the 2nd Workshop on Logic and Practice of Programming
              {(LPOP)}},
  series   = {CoRR},
  volume    = {abs/2211.09923},
  year      = {2022},
  pages     = {22-25},
  url       = {https://doi.org/10.48550/arXiv.2211.09923},
  doi       = {10.48550/arXiv.2211.09923},
}