Safety ADD: A Tool for Safety-Contract Based Design.

Fredrik Warg, Benjamin Vedder, Martin A. Skoglund, Andreas Sderberg

Browse the full ISSRE paper archive.