Stephen Goldbaum, Attila Mihály, Tosha Ellison, Earl T. Barr, Mark Marron. High Assurance Software for Financial Regulation and Business Platforms. In Bernd Finkbeiner, Thomas Wies, editors, Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings. Volume 13182 of Lecture Notes in Computer Science, pages 108-126, Springer, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.