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
Citácia podle Chicago (17th ed.)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.
Citácia podľa MLA (8th ed.)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.