Hänvisningar gällande denna post

APA-referens (7:e uppl.)
Boulanger, J. (2014). Formal methods applied to complex systems: Implementation of the B method. iSTE : Wiley.
Chicago-referens (17:e uppl.)
Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. London, England ; Hoboken, New Jersey: iSTE : Wiley, 2014.
MLA-referens (9:e uppl.)
Boulanger, Jean-Louis. Formal Methods Applied to Complex Systems: Implementation of the B Method. iSTE : Wiley, 2014.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.