PhD Defence Immo Grabe
Event date:
Wed, 19/12/2012 - 10:00 - 12:00
Location:
Academiegebouw Universiteit Leiden We herewith invite you to attend the public defence of Immo Grabe (SEN3) of his thesis:
Static Analysis of Unbounded Structures in Object-Oriented Programs
Promotor: Prof. dr. F.S. de Boer (CWI en UL) and Prof. dr. M. Steffen (University Oslo)
See also:
Immo Grabe defends thesis on formal methods for parallel programs
