P.: Software synthesis procedures (2012)

by V Kuncak, M Mayer, R Piskac, Suter
Venue:CACM