Citation Formats

MLA

Diwan, Amer, Christoph Reichenbach, and Johannes Henkel. Discovering Algebraic Specifications for Java Classes ; Cu-cs-985-04.

APA

Diwan, A., Reichenbach, C., & Henkel, J. Discovering Algebraic Specifications for Java Classes ; CU-CS-985-04.

Chicago

Diwan, Amer, Christoph Reichenbach, and Johannes Henkel. Discovering Algebraic Specifications for Java Classes ; Cu-Cs-985-04.