52863007
9783030010898
Out of Stock
The item you're looking for is currently unavailable.
Lahiri, Shuvendu is the author of 'Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018. Proceedings', published 2018 under ISBN 9783030010898 and ISBN 3030010899.
[read more]