Computer Aided Verification
Subtitle: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Publisher: Springer
Published: 2023
Language: eng
ISBN-13: 9783031377051
Subjects: Artificial intelligence; Computer algorithms; Computer networks; Computer software, development