Publications

Export 2 results:
Author Keyword [ Title(Desc)] Type Year
Filters: Author is Rüdiger Ehlers  [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 
S
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.