Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /

• Співавтор: SpringerLink (Online service)
• Інші автори: Enea, Constantin (Редактор), Lal, Akash (Редактор)
• Формат: Електронний ресурс eКнига
• Мова: Англійська
• Опубліковано: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
• Редагування: 1st ed. 2023.
• Серія: Lecture Notes in Computer Science, 13966
• Предмети: Software engineering.; Artificial intelligence.; Algorithms.; Computer engineering.; Computer networks .; Software Engineering.; Artificial Intelligence.; Design and Analysis of Algorithms.; Computer Engineering and Networks.
• Онлайн доступ: Link to Metadata