Towards a Generic Modeling Language for Contract-Based Design.

Johannes Iber, Andrea Hller, Tobias Rauter, Christian Kreiner

Browse the full MODELS paper archive.