Industrial applications of formal methods to model, design and analyze computer systems an international survey - Craigen, Dan 1953-; Gerhart, Susan L.; Ralston, Theodore L. (Park Ridge, N.J. Noyes Data Corp., 1995)
Originally published: Gaithersburg, Md. : National Institute of Standards and Technology, 1993.
Keywords: System design; System analysis