Extracting frame conditions from operation contracts.

Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille

Browse the full MODELS paper archive.