Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Type:

e-book

Titel:

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Auteur:

Margaria, Tiziana.; Steffen, Bernhard

Taal:

Engels

Uitgever:

Cham Springer 2024

ISBN:

3-031-75386-0
3-031-75387-9

Permalink:

http://bibtest.howest.be/catalog/ebk03:36403324300041