APA (7th ed.) Citation

Groce, A., Havelund, K., Holzmann, G., Joshi, R., & Xu, R. (2014). Establishing flight software reliability: Testing, model checking, constraint-solving, monitoring and learning. Annals of Mathematics & Artificial Intelligence, 70(4), 315-349. https://doi.org/10.1007/s10472-014-9408-8

Chicago Style (17th ed.) Citation

Groce, Alex, Klaus Havelund, Gerard Holzmann, Rajeev Joshi, and Ru-Gang Xu. "Establishing Flight Software Reliability: Testing, Model Checking, Constraint-solving, Monitoring and Learning." Annals of Mathematics & Artificial Intelligence 70, no. 4 (2014): 315-349. https://doi.org/10.1007/s10472-014-9408-8.

MLA (9th ed.) Citation

Groce, Alex, et al. "Establishing Flight Software Reliability: Testing, Model Checking, Constraint-solving, Monitoring and Learning." Annals of Mathematics & Artificial Intelligence, vol. 70, no. 4, 2014, pp. 315-349, https://doi.org/10.1007/s10472-014-9408-8.