Proceedings of the Workshop on Rigorous Engineering of Fault-tolerant Systems (REFT 2005) at the 13th International Symposium of Formal Methods, Newcastle upon Tyne, UK, July 19 2005 /
Workshop on Rigorous Engineering of Fault-tolerant Systems(13th :2005 :Newcastle upon Tyne, England)
Butler, Michael,1967-
University of Newcastle upon Tyne.School of Computing Science.
International Symposium of Formal Methods Europe(13th :2005 :Newcastle upon Tyne, England)
Newcastle upon Tyne : University of Newcastle upon Tyne,
2005.
"Computing Science"--Cover.
Includes bibliographic references.
Fault-tolerant computing