King, T. (1993). Introduction to Formal Methods for Software Engineering. SAGE Publishing.
Chicago Style (17th ed.) CitationKing, Trevor. Introduction to Formal Methods for Software Engineering. SAGE Publishing, 1993.
MLA (8th ed.) CitationKing, Trevor. Introduction to Formal Methods for Software Engineering. SAGE Publishing, 1993.
Warning: These citations may not always be 100% accurate.