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