170
click to vote
SIGSOFT
2010
ACM
15 years 5 days 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...