next up previous
Next: Domain Case Studies Up: LOGICAL THEORIES AND AUTOMATED Previous: Establishing Programming Methodology

Affiliates and Beneficiaries

A number of commercial software producers as well as academic computer scientists have expressed interest in the RAPS project and see potential applications of its results: