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