External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

High Assurance Software for Financial Regulation and Business Platforms

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]

Authors

Stephen Goldbaum

This author has not been identified. Look up 'Stephen Goldbaum' in Google

Attila Mihály

This author has not been identified. Look up 'Attila Mihály' in Google

Tosha Ellison

This author has not been identified. Look up 'Tosha Ellison' in Google

Earl T. Barr

This author has not been identified. Look up 'Earl T. Barr' in Google

Mark Marron

This author has not been identified. Look up 'Mark Marron' in Google
runs on