On complete functional synthesis (2009)

by Ruzica Piskac , Mikaël Mayer , Viktor Kuncak
Citations:4 - 3 self