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: Wed Oct 13 10:47:27 2021