Discovering algebraic specifications from Java classes (0)

by J Henkel, A Diwan
Venue:Lecture Notes in Computer Science