2025 Spring Meeting and 21st Global Congress on Process Safety April 6-10, 2025 Hilton Anatole, Dallas, TX
Archived Webinar Want to be an Entrepreneur? Personal Stories From Three Successful Entrepreneurs Who Have Traveled This Path.
Catherine M. Wraback Citation name Wraback, C. M. Affiliation University of Maryland, Baltimore County State MD Country USA Authored(416h) Formal Proofs in the Chemical Sciences Using the Lean Theorem ProverParivash FeyzishendiTyler R. JosephsonMaxwell P. BobbinCatherine M. WrabackSamiha Sharlin2022 Annual Meeting (ISBN: 978-0-8169-1118-9) Associated proceedings 2022 Annual Meeting
Citation name Wraback, C. M. Affiliation University of Maryland, Baltimore County State MD Country USA