ISBN 9783031377020 books & textbook

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

Enea, Constantin Lal, Akash

Springer /2023-07-18 Paperback / 480 Pages
isbn-10: 3031377028 / isbn-13: 9783031377020