Report copyright - CS4003: Formal Methods · CS4003 Formal Methods Atomic Predicates IAn Atomic Predicate is an expression whose overall type is Boolean, and whose constituent parts have non-Boolean
Please pass captcha verification before submit form