Safety contract based design of software components.

Andreas Sderberg, Rolf Johansson

Browse the full ISSRE paper archive.