Programma Formele Methoden 1998

Aankondigingen

• Op di 21 en di 28 mei geeft Jacco een tweetal colleges over Object-Z en de toepassing daarvan voor het beschrijven van het Dexter Hypertext Reference Model en uitbreidingen daarvan.
• Op di 12 mei houden Wouter Haring en Nick Kaarsgaarn (spelling?) een voordracht over het gebruik van formele methoden bij het beschrijven van multimedia systemen.