Synthesis of interface specifications for java classes (2005)

by R Alur, P Čern´y, P Madhusudan, W Nam
Venue:In Proc. POPL