Publications
Export 1 results:
[ Author
Filters: First Letter Of Last Name is E [Clear All Filters]
“Synthesis with Identifiers”, in Verification, Model Checking, and Abstract Interpretation - 15th International Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, 2014.
,