Feb 28

CS Tea Talk - "Do What I want, not what I say: Proving software acts according to plan"

Tue, February 28, 2023 • 3:00pm - 4:30pm (1h 29m) • Olin 329
(no description provided)

from Computer Science

Event Summary

CS Tea Talk - "Do What I want, not what I say: Proving software acts according to plan"
  • When
    • Tuesday, February 28, 2023
    • 3:00pm - 4:30pm (1h 29m)
  • Where
    • Olin 329
  • Copy Share Link

+ Add to Google Calendar

← Return to site Calendar