Synthesis of Interface Specifications for Java Classes (2005)

by R Alur, P Černy, P Madhusudan, W Nam
Venue:In Proc. 32nd ACM POPL