Back to Results
First PageMeta Content
Abstract interpretation / Radhia Cousot / Galois connection / variste Galois


Abstract Interpretation, Re-Reloaded and Numerical and Structural Abstractions Jan Midtgaard Winter School, Day 4 http://janmidtgaard.dk/aiws15/
Add to Reading List

Document Date: 2015-02-05 08:54:58

Open Document

File Size: 533,80 KB

Share Result on Facebook
UPDATE