APA (7th ed.) Citation

(1995). Applications of formal methods (1. publ.). Prentice Hall.

Chicago Style (17th ed.) Citation

Applications of Formal Methods. 1. publ. London u.a: Prentice Hall, 1995.

MLA (9th ed.) Citation

Applications of Formal Methods. 1. publ. Prentice Hall, 1995.