CaltechAUTHORS
  A Caltech Library Service

Items where Person is "Ehlers-R"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | First Author | No Grouping
Jump to: 2014
Number of items: 1.

2014

Ehlers, Rüdiger and Raman, Vasumathi (2014) Low-Effort Specification Debugging and Analysis. In: 3rd Workshop on Synthesis (EPTCS 157), 23-24 July 2014, Vienna, Austria. https://resolver.caltech.edu/CaltechAUTHORS:20141209-144837376

This list was generated on Mon Aug 10 20:01:08 2020 PDT.