Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Frédéric Gilbert
conf.researchr.org general profile
ETAPS 2019 profile
Registered user since Tue 19 Jun 2018
Name:
Frédéric Gilbert
Contributions
2019
ESOP
Author of Verifiable certificates for predicate subtyping within the ESOP 2019-track
Share
x
Thu 21 Nov 13:17