PGA - ProGram Algebra

Contact

Publications
one of the authors

Toolset
Bob Diertens

Courseware
Inge Bethke, Alban Ponse

Website
Bob Diertens