University of Amsterdam
/
Faculty of Science
/
Informatics Institute
/
Theory of Computer Science
Theory of Computer Science
Home
People
Research
Publications
Education
Software
Links
Projects
Process Specification Formalism
Generation of Program Transformation Systems
Program Algebra