Wednesday, April 16, 2025
Shashane Anderson | Formal Verification of Thermodynamic Models With Lean 4 | Chemical, Biochemical, and Environmental Engineering | TylerJosephson Poster Presentation | UC Ballroom |...
April 3, 2025
·
11:02 AM