APA (7th ed.) Citation

Boulanger, J. (2012). Industrial used of formal method: Formal verification. ISTE. https://doi.org/10.1002/9781118561829

Chicago Style (17th ed.) Citation

Boulanger, Jean-Louis. Industrial Used of Formal Method: Formal Verification. London: ISTE, 2012. https://doi.org/10.1002/9781118561829.

MLA (8th ed.) Citation

Boulanger, Jean-Louis. Industrial Used of Formal Method: Formal Verification. ISTE, 2012. https://doi.org/10.1002/9781118561829.

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