Items where authors include "Stephenson, Karen"

Proceedings Paper

Foster, Simon David orcid.org/0000-0002-9889-9514, Nemouchi, Yakoub, O'Halloran, Colin et al. (2 more authors) (2020) Formal Model-Based Assurance Cases in Isabelle/SACM:An Autonomous Underwater Vehicle Case Study. In: FormaliSE '20:Proceedings of the 8th International Conference on Formal Methods in Software Engineering. UNSPECIFIED. ACM .