next up previous contents index
Next: Motivation Up: Foundations Previous: Parameterised Contracts as Generalisation   Contents   Index


Context

unstable



Subsections

Snowball 2007-03-16