H
📝 描述
HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL) implemented in Isabelle/HOL.
⭐ 用户评价
暂无评价