Assisted generation of frame conditions for formal models.

Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille

Browse the full DATE paper archive.