Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation
10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings
Steffen, Bernhard; Margaria, Tiziana
Springer Nature Switzerland AG
10/2021
504
Mole
Inglês
9783030891589
15 a 20 dias
783