×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [automated program synthesis]
Home >
automated program synthesis
Usable Synthesis Sumit Gulwani (
[email protected]
) Microsoft Research, Redmond Usable Verification Workshop November 2010 MSR Redmond.
215 views