Experience with Formal Methods in Critical Systems.

Sat, 01 Jan 1994 00:00:00 +0100

Susan L. Gerhart, Dan Craigen, Ted Ralston:
Experience with Formal Methods in Critical Systems. IEEE Softw. 11(1): 21-28 (1994)