Next
Industrial applications of formal methods to model, design, and analyze computer systems : an international survey / Dan Craigen, Susan Gerhart, Ted Ralston. Craigen, Dan, 1953-
Park Ridge, N.J. : Noyes Data Corp., c1995.
xii, 306 p. ; 27 cm.