The SHARED-R rule checks that the atomic block meets its specification in an empty environment, and then checks that the pre- and postcondition are ...
確定! 回上一頁