APA (7th ed.) Citation

Gleirscher, M., Foster, S., & Nemouchi, Y. (2019). Evolution of Formal Model-Based Assurance Cases for Autonomous Robots. Software Engineering and Formal Methods, 11724, 87-104. https://doi.org/10.1007/978-3-030-30446-1_5

Chicago Style (17th ed.) Citation

Gleirscher, Mario, Simon Foster, and Yakoub Nemouchi. "Evolution of Formal Model-Based Assurance Cases for Autonomous Robots." Software Engineering and Formal Methods 11724 (2019): 87-104. https://doi.org/10.1007/978-3-030-30446-1_5.

MLA (9th ed.) Citation

Gleirscher, Mario, et al. "Evolution of Formal Model-Based Assurance Cases for Autonomous Robots." Software Engineering and Formal Methods, vol. 11724, 2019, pp. 87-104, https://doi.org/10.1007/978-3-030-30446-1_5.