形式化方法——Software-Reliability-Methods-Chap3

Software-Reliability-Methods-Chap3

P36 Regardless of the actual assignment of value to the variable \(x\).