53527677
9783030112448
Enea, Constantin is the author of 'Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings (Lecture Notes in Computer Science)', published 2019 under ISBN 9783030112448 and ISBN 3030112446.
[read more]