Observations on Industrial Practice Using Formal Methods.

Fri, 01 Jan 1993 00:00:00 +0100

Susan L. Gerhart, Dan Craigen, Ted Ralston:
Observations on Industrial Practice Using Formal Methods. ICSE 1993: 24-33