Patrick Cousot.
Abstract Interpretation of Graphs.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (AVERTIS)
, IMDEA Software, Madrid, Spain, Friday 29th, 2019.
Patrick Cousot.
Is Static Analysis Successful?.
Online seminar series on Verification beyond 2020, Tuesday, July 7th, 2020.
Elsevier (where I discovered I am a specialist in "Surface mount technology", "Costs", "Explosions", "Chemical analysis", etc and now "Acoustic waves", so artificially intelligent)