Advertisement
HOL-OCL
HOL-OCL - Interactive proof environment for the Object Constraint Language (OCL)...
build proof proof environment OCL environment refine specification
Advertisement
HOL-OCL - Interactive proof environment for the Object Constraint Language (OCL)...
build proof proof environment OCL environment refine specification
About SoftwareSea