Gå direkte til innholdet
Integrated Formal Methods
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
Opplag
2024 ed.
ISBN
9783031477041
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
11.11.2023
Antall sider
400