Opening book details…
About this document
Integrated Formal Methods by Dilek Öztürk is a document available to read on EtoBox.
- Author
- Dilek Öztürk
- Language
- EN
Opening book details…
Integrated Formal Methods by Dilek Öztürk is a document available to read on EtoBox.
The document outlines the proceedings of the 19th International Conference on Integrated Formal Methods (iFM 2024) held in Manchester, UK, from November 13-15, 2024. It details the conference