Hey y'all!! Hungry for knowledge and pizza? Join us at our event this week: Formal Timing of Binary Code. We'll discuss function timing in Coq and it's applications!
Where? ECSS 2.415
When? Sept. 18 @ 7
Hey y'all!! Hungry for knowledge and pizza? Join us at our event this week: Formal Timing of Binary Code. We'll discuss function timing in Coq and it's applications!
Where? ECSS 2.415
When? Sept. 18 @ 7