ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Thomas P. Jensen
Thomas P. Jensen

Registered user since Mon 24 Sep 2018

Name:Thomas P. Jensen
Affiliation:INRIA Rennes
Personal website:http://www.irisa.fr/celtique/jensen/

Contributions

ESOP 2019 Compiling Sandboxes: Formally Verified Software Fault Isolation
Show activities from other conferences

ETAPS 2019-profile
View general profile