CLIMB
-
C
omputational
L
ogic for the ver
I
fication and
M
odeling of
B
usiness constraints
CLIMB -
Computational Logic for the verIfication and Modeling of Business constraints
CLIMB -
Computational Logic for the verIfication and Modeling of Business constraints