Some Lessons Learned in the Industrialization of Formal Methods for Financial Algorithms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Grant Olney Passmore. Some Lessons Learned in the Industrialization of Formal Methods for Financial Algorithms. In Marieke Huisman, Corina S. Pasareanu, Naijun Zhan, editors, Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings. Volume 13047 of Lecture Notes in Computer Science, pages 717-721, Springer, 2021. [doi]

This author has not been identified. Look up 'Grant Olney Passmore' in Google

runs on WebDSL