SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Thomas P. Jensen

Registered user since Mon 24 Sep 2018

Name:Thomas P. Jensen
Country:France
Affiliation:INRIA Rennes

Contributions

SAS 2022 Lifting Numeric Relational Domains to Algebraic Data Types
Show activities from other conferences

SPLASH 2022-profile
View general profile