Abeywickrama, D. B., Fisher, M., Wheeler, F., & Dennis, L. (2025). Towards Continuous Assurance with Formal Verification and Assurance Cases.
Chicago-Zitierstil (17. Ausg.)Abeywickrama, Dhaminda B., Michael Fisher, Frederic Wheeler, und Louise Dennis. Towards Continuous Assurance with Formal Verification and Assurance Cases. 2025.
MLA-Zitierstil (9. Ausg.)Abeywickrama, Dhaminda B., et al. Towards Continuous Assurance with Formal Verification and Assurance Cases. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.