APA (7th ed.) Citation

Dufour, J. (2014, June 26). B Extended to Floating‐Point Numbers: Is it Sufficient for Proving Avionics Software? Formal Methods Applied to Complex Systems: Implementation of the B Method, 391-425. https://doi.org/10.1002/9781119002727.ch13

Chicago Style (17th ed.) Citation

Dufour, Jean‐Louis. "B Extended to Floating‐Point Numbers: Is It Sufficient for Proving Avionics Software?" Formal Methods Applied to Complex Systems: Implementation of the B Method 26 Jun. 2014: 391-425. https://doi.org/10.1002/9781119002727.ch13.

MLA (9th ed.) Citation

Dufour, Jean‐Louis. "B Extended to Floating‐Point Numbers: Is It Sufficient for Proving Avionics Software?" Formal Methods Applied to Complex Systems: Implementation of the B Method, 26 Jun. 2014, pp. 391-425, https://doi.org/10.1002/9781119002727.ch13.