Publications

Export 1 results:
[ Author(Asc)] Keyword Title Type Year
Filters: First Letter Of Last Name is E  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
E
R. Ehlers, Seshia, S. A., and Kress-Gazit, H., “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.