|
Cite as: Bate, I., Hawkins, R. and McDermid, J. (2004). A Contract-based Approach to Designing Safe Systems. In Proc. Eighth Australian Workshop on Safety Critical Systems and Software (SCS 2003), Canberra, Australia. CRPIT, 33. Lindsay, P. and Cant, T., Eds. ACS. 25-36. |
![]() ![]() ![]() ![]() ![]() |