hr. I. Grabe - Static Analysis of Unbounded Structures in Object-Oriented Programs

Datum	woensdag 19 december 2012
Tijd	10:00 uur
Faculteit	Wiskunde en Natuurwetenschappen
Locatie	Academiegebouw Rapenburg 73 2311 GJ Leiden

Promotoren: Prof.dr. F.S. de Boer
Prof.dr. M. Steffen (Univ. Oslo)