67843891
9783031197611
Margaria, Tiziana is the author of 'Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part IV', published 2022 under ISBN 9783031197611 and ISBN 3031197615.
[read more]