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.

8 June 2001, Computing with LLI seminar, Reiner Hähnle

8 June 2001, Computing with LLI seminar, Reiner Hähnle
Speaker: Reiner Hähnle
Title: Design Pattern-Driven Generation of Formal Specifications
Date and Time: Friday June 8, 2001, 13:00
Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

For abstracts and more information, see http://staff.science.uva.nl/~mdr/CALG/Local/seminar01-1.html#June8.

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