Peter A. Lindsay, editor, Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001. Volume 3 of CRPIT, Australian Computer Society, 2001.
Conference: scs