Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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.