This page shows all presentations of this author published in EasyChair Smart Slide.
Inferring Environment Assumptions in Model Refinement
Srinivas Nedunuri and Douglas Smith
Modularity in Software Synthesis
Douglas Smith