LEMMA 5.4: The operator Jsmax is a justification operator. ... Cf. especially App. A. 5.6 Summary – To back up a principle of verification, ...
確定! 回上一頁