News and Events: MoL and PhD defenses

Please note that this newsitem has been archived, and may contain outdated information or links.

25 September 2009, Master of Logic defense, Floor Sietsma

Candidate: Floor Sietsma
Title: A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems
Date: Friday 25 September 2009
Time: 11:00
Location: Room A1.14, Science Park 904, Amsterdam
Supervisor: Inge Bethke

Please note that this newsitem has been archived, and may contain outdated information or links.