Document Versions

Discovering Algebraic Specifications from Java Classes –Johannes Henkel, Amer Diwan — 2003 — In ECOOP
Discovering algebraic specifications from Java classes –Johannes Henkel, Amer Diwan — 2003 — In ECOOP
A.: Discovering algebraic specifications from Java classes –Johannes Henkel, Amer Diwan — 2003 — In: Eur. Conf. on OO Prog
A.: Discovering algebraic specifications from Java classes –Johannes Henkel, Amer Diwan — 2003 — In: Eur. Conf. on OO Prog