Abeywickrama, D. B., Fisher, M., Wheeler, F., & Dennis, L. (2025). Towards Continuous Assurance with Formal Verification and Assurance Cases.
Chicago Style (17th ed.) CitationAbeywickrama, Dhaminda B., Michael Fisher, Frederic Wheeler, and Louise Dennis. Towards Continuous Assurance with Formal Verification and Assurance Cases. 2025.
MLA (9th ed.) CitationAbeywickrama, Dhaminda B., et al. Towards Continuous Assurance with Formal Verification and Assurance Cases. 2025.
Warning: These citations may not always be 100% accurate.