Follow
( Publications: 45 | Followers: 0 )

Design by Contract - Wright State University

... S {I} 0 iterations: {I} {I and not B} not B holds 1 iteration: {I} S {I and not B} B holds not B holds 2 iterations: {I} S ; S {I and not B} B holds B ...

Publish on Category: All 7

0

Embed

Share

Upload

Design by Contract - Wright State University