Bibtex

Peter Horan, Eiffel Assertions and the External Structure of Classes and Objects

Back