Completely Validated Software

Richard A. Kemmerer. Completely Validated Software. In ICSE. pages 359-360, 1989.

Abstract

Abstract is missing.