Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Steffen, Bernhard; Margaria, Tiziana
Springer International Publishing AG
11/2024
210
Mole
9783031753893
Pré-lançamento - envio 15 a 20 dias após a sua edição