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

Type:

e-book

Titel:

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

Auteur:

Margaria, Tiziana.; Steffen, Bernhard

Taal:

Engels

Uitgever:

Cham Springer 2024

ISBN:

3-031-75389-5
3-031-75390-9

Permalink:

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