Contractual obligations
| client | supplier |
| pre-condition | obligation | benefit |
| post-condition | benefit | obligation |
slide: Contractual obligations
[]
readme
course
preface
1
2
3
4
5
6
7
8
9
10
11
12
appendix
lectures
resources
eliens@cs.vu.nl

draft version 0.1 (15/7/2001)