Formal Methods and Software Engineering
Formal Methods and Software Engineering
23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings
Zhang, Min; Riesco, Adrian
Springer International Publishing AG
10/2022
440
Mole
Inglês
9783031172434
15 a 20 dias
700