2 works on record
Verified Software. Theories, Tools and Experiments
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops