Overview of verification systems.

Tue, 01 Jan 1985 00:00:00 +0100

Dan Craigen, Donald I. Good:
Overview of verification systems. ACM SIGSOFT Softw. Eng. Notes 10(4): 1 (1985)