Ascent++
Search
Assertion list
cost estimate
(
subgroup
of
estimate
)
→ ReceivesAction
Results from
Ascent++
:
4
cost estimate
→
ReceivesAction
→
obtained
0.52
cost estimate
→
ReceivesAction
→
revised
0.47
cost estimate
→
ReceivesAction
→
reviewed on a contract-by-contr…
0.32
cost estimate
→
ReceivesAction
→
based on assumption
0.25