[Prev][Next][Index]
Recommended: "Ten Commandments of Formal Methods"
-
To: larch-interest
-
Subject: Recommended: "Ten Commandments of Formal Methods"
-
From: horning
-
Date: Tue, 11 Apr 95 11:21:18 -0700
-
Delivery-Date: Tue, 11 Apr 95 11:25:39 -0700
A thoughtful survey of the issues by Jonathan Bowen and Michael Hinchey,
very easy to read.
IEEE COMPUTER, April 1995, pp. 56-63.
Jim H.