Stephen Goldbaum

According to our database, Stephen Goldbaum authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

High Assurance Software for Financial Regulation and Business Platforms.

Stephen Goldbaum, Attila Mihály, Tosha Ellison, Earl T. Barr, Mark Marron

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022