ISBN 3031377052 books & textbook

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)

Enea, Constantin Lal, Akash

Springer /2023-07-17 Paperback / 520 Pages
isbn-10: 3031377052 / isbn-13: 9783031377051