Industrial applications of formal methods to model, design, and analyze computer systems 著者: Craigen, Dan 1953-, Gerhart, Susan L., Ralston, Theodore L.

Available for University of the Philippines System via ScienceDirect. Click here to access
Also available remotely for University of the Philippines System via ScienceDirect. Click here to access thru EZproxy

Industrial applications of formal methods to model, design and analyze computer systems an international survey 著者: Craigen, Dan 1953-

Also available online for University of the Philippines Diliman via ScienceDirect. Click here to access