Boulanger, J. (2012). Industrial Use of Formal Methods: Formal Verification.
Chicago Style (17th ed.) CitationBoulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. 2012.
MLA (9th ed.) CitationBoulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. 2012.
Warning: These citations may not always be 100% accurate.