Boulanger, J. (2014). Formal methods applied to complex systems: Implementation of the B method. Wiley-Blackwell.
Chicago-Zitierstil (17. Ausg.)Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. Wiley-Blackwell, 2014.
MLA-Zitierstil (9. Ausg.)Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. Wiley-Blackwell, 2014.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.