×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [o8 o10]
Home >
o8 o10
Sumit Gulwani (
[email protected]
) Microsoft Research, Redmond Dimensions in Program Synthesis ACM Symposium on Principles and Practice of Declarative.
217 views
Usable Synthesis Sumit Gulwani (
[email protected]
) Microsoft Research, Redmond Usable Verification Workshop November 2010 MSR Redmond.
215 views
Program Synthesis for Automating Education Sumit Gulwani (
[email protected]
) Microsoft Research, Redmond.
217 views