Bobs
/
Computer Science
/
PGA - ProGram Algebra
Home
Toolset
Demonstrations
Documentation
Publications
People
People
Jan Bergstra
Marijke Loots
Inge Bethke
Alban Ponse
Bob Diertens
Designer and maintainer of the PGA-Toolset.
PGA - Home
\
Computer Science
\
Bobs
Last modified: Fri Jan 6 17:15:04 2023