4 works on record
Verification and Evaluation of Computer and Communication Systems
Computer Safety, Reliability, and Security
Student Forum
Dependable Computing - EDCC 2005