Research Areas Model Checking Formal Methods Software Architecture Software Components Object Orientation Programming Language Standardization
Links Publications Links to other activities Colleges (lectures) The Software Engineering Group Msc Projects Embedded Systems Het vitrinemuseum van de practicumgroep Epispin development download page
