Proving Assertions is Also Useful

J├╝rgen F. H. Winkler, Stefan Kauer. Proving Assertions is Also Useful. SIGPLAN Notices, 32(3):38-41, 1997.

Abstract

Abstract is missing.