Oskar Abrahamsson, Data- och informationsteknik

​Verified proof checking for higher-order logic


​Oskar Abrahamsson tillhör avdelningen för Formella metoder vid Data-och informationsteknik.

Diskussionsledare

 Dr. Joe Leslie-Hurd, Intel Corporation, Portland, Oregon, USA.
Kategori Licentiatseminarium
Plats: Online
Tid: 2020-09-02 15:00
Sluttid: 2020-09-02 16:00

Publicerad: fr 10 jul 2020.