59385587
9783030324087
Ait-Ameur, Yamine is the author of 'Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings (Lecture Notes in Computer Science)', published 2019 under ISBN 9783030324087 and ISBN 3030324087.
[read more]