Spar
Integrated Formal Methods
The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.
- Undertittel
- 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
- Redaktør
- Paula Herber, Anton Wijs
- Opplag
- 2024 ed.
- ISBN
- 9783031477041
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 11.11.2023
- Antall sider
- 400
