Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dan Frumin
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2018 profile
Registered user since Sun 26 Nov 2017
Name:
Dan Frumin
Affiliation:
Radboud University
Contributions
2019
ESOP
Author of Semi-Automated Reasoning About Non-Determinism in C Expressions within the ESOP 2019-track
2018
CPP
Author of Finite Sets in Homotopy Type Theory within the CPP 2018-track
CoqPL
Author of A calculus for logical refinements in separation logic within the -track
Share
x
Tue 3 Dec 18:02