Report copyright - Chapter 3 (part 3) - Department of Computer Science · • Based on formal logic (predicate calculus) ... – One possible precondition: {b > 10} – Weakest precondition? 20. Axiomatic
Please pass captcha verification before submit form