The UMBC Cyber Defense Lab presents Interactive Proof Assistants for Verification Ian Blumenfeld Principal Research Mathematician Two Six Labs 12:00-1:00 pm Friday, 31 January...
January 20, 2020
·
7:07 PM