Formal Methods Reality Check: Industrial Usage.

Sun, 01 Jan 1995 00:00:00 +0100

Dan Craigen, Susan L. Gerhart, Ted Ralston:
Formal Methods Reality Check: Industrial Usage. IEEE Trans. Software Eng. 21(2): 90-98 (1995)