High Assurance Software for Financial Regulation and Business Platforms.

Stephen Goldbaum, Attila Mihly, Tosha Ellison, Earl T. Barr, Mark Marron

Browse the full VMCAI paper archive.