Synthesis of interface specifications for Java classes (0)

by R Alur, P Cerny, P Madhusudan, W Nam
Venue:In Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005