International Symposium on Software Fault Prevention, Verification, and Validation (1. : 2024 : Hiroshima)
Das Symposium war Teil der ICFEM (International Conference on Formal Engineering Methods) 2024.
Das Symposium war Teil der ICFEM (International Conference on Formal Engineering Methods) 2024.