Registered user since Mon 24 Sep 2018
Name:Thomas P. Jensen
Country:France
Affiliation:INRIA Rennes
Personal website: http://www.irisa.fr/celtique/jensen/
Contributions
2022
Static Analysis Symposium
SPLASH 2022-profile
View general profile
View general profile