Publications

Export 2 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Author is Sanjit A. Seshia  [Clear All Filters]
2014
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.