Iain Bate, Richard Hawkin, John A. McDermid. A Contract-based Approach to Designing Safe Systems. In Peter A. Lindsay, Anthony Cant, editors, Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003. Volume 33 of CRPIT, pages 25-36, Australian Computer Society, 2003. [doi]
Abstract is missing.