APA (7th ed.) Citation

Boulanger, J. (2012). Formal methods: Industrial use from model to the code. ISTE ; Wiley. https://doi.org/10.1002/9781118561898

Chicago Style (17th ed.) Citation

Boulanger, Jean-Louis. Formal Methods: Industrial Use from Model to the Code. London : Hoboken, NJ: ISTE ; Wiley, 2012. https://doi.org/10.1002/9781118561898.

MLA (8th ed.) Citation

Boulanger, Jean-Louis. Formal Methods: Industrial Use from Model to the Code. ISTE ; Wiley, 2012. https://doi.org/10.1002/9781118561898.

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