David_W (70) [Avatar] Offline
#1
"Design level contracts: pre-conditions, post-conditions, and invariance"

should be invariants
ramnivas (171) [Avatar] Offline
#2
Re: typo in 11.3.2
Done. Thanks.