Citace podle APA (7th ed.)

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

Citace 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.

Citace podle MLA (9th 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.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..