Logical Rules of Natural Reasoning about Programs

Fred Kröger. Logical Rules of Natural Reasoning about Programs. In ICALP. pages 87-98, 1976.

Abstract

Abstract is missing.