Software synthesis with sketching
Keyword(s):
2009 ◽
Vol 1
(3)
◽
pp. 69-72
◽
Keyword(s):
1999 ◽
Vol 1
(6)
◽
pp. 54-64
◽
2000 ◽
Vol 120
(1)
◽
pp. 88-95
Keyword(s):
Keyword(s):
1980 ◽
Vol 4
(5)
◽
pp. 716