Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ilaria De Crescenzo
conf.researchr.org general profile
POPL 2016 profile
Registered user since Tue 3 Nov 2015
Name:
Ilaria De Crescenzo
Contributions
2016
VMCAI
Author of A General Modular Synthesis Problem for Pushdown Systems within the VMCAI-track
Share
x
Mon 2 Dec 09:28