Links
Colloquia
Related research groups
- Interactive Software Development and Renovation - CWI (SEN1)
- Specification and Analysis of Embedded Systems - CWI (SEN2)
- Formal Methods - Technical University of Eindhoven
- Information Management and Software Engineering - Vrije Universiteit Amsterdam
- Computer Systems Architecture - University of Amsterdam
Others
- The Retrocomputing Museum
- MetaEnvironment
- µCRL
- CADP(Caesar/Aldebaran Development Package)
- The Language Guide
- Computer Languages History