Discovering Algebraic Specifications from Java Classes (2003)

by Johannes Henkel, Amer Diwan
Venue:In ECOOP