Yu-Ting Chen (Jeff), Computer Science and Engineering

​Towards Robust and Flexible Intermediate Verification

​Jeff Chen belongs to the Formal Methods division of Computer Science and Engineering.​
Category Licentiate seminar
Location: EB, lecture hall, EDIT-building, Hörsalsvägen 11, Johanneberg.
Starts: 23 August, 2018, 10:00
Ends: 23 August, 2018, 11:00

Published: Mon 09 Jul 2018.