APA (7th ed.) Citation

Craigen, D., Gerhart, S. L., & Ralston, T. L. (1995). Industrial applications of formal methods to model, design, and analyze computer systems. Noyes Data Corp. https://doi.org/10.1016/C2009-0-20452-1

Chicago Style (17th ed.) Citation

Craigen, Dan, Susan L. Gerhart, and Theodore L. Ralston. Industrial Applications of Formal Methods to Model, Design, and Analyze Computer Systems. Park Ridge, N.J: Noyes Data Corp, 1995. https://doi.org/10.1016/C2009-0-20452-1.

MLA (9th ed.) Citation

Craigen, Dan, et al. Industrial Applications of Formal Methods to Model, Design, and Analyze Computer Systems. Noyes Data Corp, 1995. https://doi.org/10.1016/C2009-0-20452-1.