Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation Mine Antoine Heftet / 2017 / Engelsk
Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings Mine Antoine Heftet / 2012 / Engelsk
