ISBN 303144244X books & textbook
Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings (Lecture Notes in Computer Science)
Hermenegildo, Manuel V. Morales, José F.
Springer /2023-10-24 Paperback / 584 Pages
isbn-10: 303144244X / isbn-13: 9783031442445
