Rigorous State-Based Methods
Rigorous State-Based Methods
10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings
Scandurra, Patrizia; Gargantini, Angelo; Leuschel, Michael; Bonfanti, Silvia; Riccobene, Elvinia
Springer International Publishing AG
06/2024
398
Mole
9783031637896
15 a 20 dias