From the JML Ref Manual: The initially-clause (see section 8.5 Initially Clauses).
Log in to post a comment.