Karen Stephenson
According to our database1,
Karen Stephenson
authored at least 4 papers
between 1996 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study.
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020
2003
1998
Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998
1996