Verified Software Down to Gates (Prof Trippel); Rethinking Computation (Prof Achour)
Nov
3
This event ended 984 days ago.
Date(s)
Summary
Prof. Caroline Trippel; Prof. Sara Achour (Stanford)
Shriram 104
Shriram 104