International Conference on Formal Engineering Methods (2024 :)
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal methods and software engineering = 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024 : proceedings /
by:
International Conference on Formal Engineering Methods (2024 :); Ogata, Kazuhiro.; SpringerLink (Online service)
(Electronic resources)