PhD Defence David Costa (SEN3)
Event date:
Mon, 13/12/2010 - 11:45 - 13:00
Location:
Vrije Universiteit Amsterdam, De Boelelaan 1105, Amsterdam PhD defence of David de Oliveira Costa (SEN3)
Thesis: Formal Models for Component Connectors
Promotor: prof. dr. J.J.M.M. Rutten (CWI, RUN), prof. dr. F. Arbab (CWI, UL)
Co-promotores: dr. D.G. Clarke, dr. M. Niqui (CWI)
