65596190
9783030891589
Margaria, Tiziana is the author of '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', published 2021 under ISBN 9783030891589 and ISBN 3030891585.
[read more]