APA (7th ed.) Citation

King, T. (1993). Introduction to Formal Methods for Software Engineering. SAGE Publishing.

Chicago Style (17th ed.) Citation

King, Trevor. Introduction to Formal Methods for Software Engineering. SAGE Publishing, 1993.

MLA (8th ed.) Citation

King, Trevor. Introduction to Formal Methods for Software Engineering. SAGE Publishing, 1993.

Warning: These citations may not always be 100% accurate.