Q.

I is invariant predicate that satisfies condtion

A. i and b subset of asem (l,i)
B. i and not b subset of p
C. both a and b
D. none of above
Answer» C. both a and b
2.4k
0
Do you find this helpful?
11

Discussion

No comments yet