Yu-Ting Chen (Jeff), Data- och informationsteknik

​Towards Robust and Flexible Intermediate Verification

​Jeff Chen tillhör avdelningen för formella metoder vid Institutionen för data- och informationsteknik.​
Kategori Licentiatseminarium
Plats: EB, lecture hall, EDIT-building, Hörsalsvägen 11, Johanneberg.
Tid: 2018-08-23 10:00
Sluttid: 2018-08-23 11:00

Publicerad: må 09 jul 2018. Ändrad: on 11 jul 2018