Brian Randell
On Failures and Faults
FM, 2003.
@inproceedings{FME-2003-Randell, author = "Brian Randell", booktitle = "{Proceedings of the 12th International Symposium of Formal Methods Europe}", doi = "10.1007/978-3-540-45236-2_3", isbn = "3-540-40828-2", pages = "18--39", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{On Failures and Faults}", volume = 2805, year = 2003, }