APA (7th ed.) Citation

Foster, S., Nemouchi, Y., Gleirscher, M., Wei, R., & Kelly, T. (2021). Integration of Formal Proof into Unified Assurance Cases - With Isabelle/SACM. ITNOW, 63(3), 66. https://doi.org/10.1093/itnow/bwab095

Chicago Style (17th ed.) Citation

Foster, Simon, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, and Tim Kelly. "Integration of Formal Proof into Unified Assurance Cases - With Isabelle/SACM." ITNOW 63, no. 3 (2021): 66. https://doi.org/10.1093/itnow/bwab095.

MLA (9th ed.) Citation

Foster, Simon, et al. "Integration of Formal Proof into Unified Assurance Cases - With Isabelle/SACM." ITNOW, vol. 63, no. 3, 2021, p. 66, https://doi.org/10.1093/itnow/bwab095.