next up previous contents index
Next: Interoperability Checks, Substitutability Checks Up: Foundations Previous: Composite Structure   Contents   Index


Parametric Contracts



Subsections

Snowball 2007-03-16