146
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
I summarize some personal observations on the topic of automated software design and synthesis that I accumulated over twenty years. They are intended to alert researchers to pitf...