Software Synthesis Procedures (2012)

by Viktor Kuncak , Mikaël Mayer , Ruzica Piskac , Philippe Suter
Citations:14 - 10 self