Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective - Besnard, Denis; Gacek, Cristina; Jones, Cliff; Besnard, Denis; Gacek, Cristina; Jones, Cliff B.; Jones, Cliff (Springer London, 2006)
Keywords: Information Technology -- Computer Science (Hardware & Networks)