Browsing tag: higher-order  

HOL-OCL 0.9.0

HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL).

Aug 18th 2006, 17:13 GMT