Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003

Peter A. Lindsay Anthony Cant Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003 SCS CRPIT 33 Australian Computer Society 2004 db/conf/scs/scs2003.html