Formal Methods Reality Check: Industrial Usage.

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

Dan Craigen, Susan L. Gerhart, Ted Ralston:
Formal Methods Reality Check: Industrial Usage. FME 1993: 250-267