Please note that this newsitem has been archived, and may contain outdated information or links.
20 February 2004, Language and Inference Technology (LIT) Seminar, Bart Jacobs
Speaker: Bart Jacobs
(Nijmegen)
(Nijmegen)
Title: Formal Methods for Smart Cards: an experience report
Date: Friday 20 February 2004
Time: 13:30
Location: Room G1.03, Gebouw G, Nieuwe Prinsengracht 130, Amsterdam
For abstracts and more information, see http://lit.science.uva.nl/News/seminar04-1.html#Feb20 .
Please note that this newsitem has been archived, and may contain outdated information or links.