Giters

unshorn / slides

slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

appendix

Slides in support of the book "Principles of Abstract Interpretation", P. Cousot, MIT Press.

About

slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021

License:GNU General Public License v3.0