-
1Academic Journal
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: D.2.4 [Software/Program Verification] Programming by contract, Assertion checkers F.3.1 [Specifying and Verifying and Reasoning about Programs] Assertions, Invariant, Pre- and post-conditions, Specification techniques
File Description: application/pdf