APA (7th ed.) Citation

Boulanger, J. (2012). Industrial use of formal methods: Formal verification. Wiley.

Chicago Style (17th ed.) Citation

Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. London: Wiley, 2012.

MLA (9th ed.) Citation

Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley, 2012.

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