weakest precondition. Quick Reference. For some given program statement S and some postcondition R there is a (possibly empty) set of ...
確定! 回上一頁