Ascent++
Search
Assertion list
binding contract
(
subgroup
of
contract
)
→ HasProperty
Results from
Ascent++
:
1
binding contract
→
HasProperty
→
enforceable
0.28