Proving Programs Incorrect

Daniel Brand. Proving Programs Incorrect. In ICALP. pages 201-227, 1976.

Abstract

Abstract is missing.