Jean-Pierre Talpin - SAS 2021

Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

co-located with SPLASH 2021

Registered user since Wed 21 Dec 2016

Name:Jean-Pierre Talpin

Affiliation:INRIA, France

Personal website: http://www.irisa.fr/prive/talpin

Contributions

2021

Static Analysis Symposium

Verified Functional Programming of an Abstract Interpreter

Show activities from other conferences

SPLASH 2021-profile
View general profile