Reasoning Company
Program-Transformation.Org: The Program Transformation Wiki
Homepage: http://www.reasoning.com/
Offers automated software inspection services built using the
Refine wide-spectrum language with explicit transformation support.
CategoryCompany