Books

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops
2023
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2023
Verified Software. Theories, Tools and Experiments. Verified Software. Theories, Tools and Experiments.
2023
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2017
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2017