Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Cristina Serban
conf.researchr.org general profile
POPL 2017 profile
Not registered as user
Name:
Cristina Serban
Affiliation:
VERIMAG, CNRS, Université Grenoble-Alpes
Personal website:
http://www-verimag.imag.fr/~serban/
Contributions
2017
VMCAI
Author of Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic within the VMCAI-track
Share
x
Thu 19 Dec 03:39