Welcome to the doctoral defense of Alexandru Dura
Date and time: May 19th, 09:00
Location: Lecture Hall M:J, building M, Ole Römers väg 1F, Faculty of Engineering LTH, Lund University, Lund
Doctoral student: Alexandru Dura, PhD student at Department of Computer Science, Lund University
Title: Fully Declarative Specification of Static Code Checkers