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

Type:

e-book

Titel:

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

Auteur:

Margaria, Tiziana.; Steffen, Bernhard

Taal:

Engels

Uitgever:

Cham Springer 2024

ISBN:

3-031-75379-8
3-031-75380-1

Permalink:

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