APA Citation

Boulanger, J. (2014). Formal methods applied to complex systems: Implementation of the B method. London, England ; Hoboken, New Jersey: iSTE : Wiley.

Chicago Style Citation

Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. London, England ; Hoboken, New Jersey: iSTE : Wiley, 2014.

MLA Citation

Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. London, England ; Hoboken, New Jersey: iSTE : Wiley, 2014.

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