Programmverification at Stanford: Past, Present Future.

Thu, 01 Jan 1981 00:00:00 +0100

Wolfgang Polak:
Programmverification at Stanford: Past, Present Future. GWAI 1981: 256-276