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

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and se...

Полное описание

Сохранить в:

Библиографические подробности
Другие авторы:	Enea, Constantin (Редактор), Lal, Akash (Редактор)
Формат:	Электронный ресурс Глава книги
Язык:	английский
Опубликовано:	Cham Springer Nature 2023
Серии:	Lecture Notes in Computer Science
Предметы:	Software Engineering Artificial intelligence Algorithms & data structures Computer networking & communications architecture verification and validation artificial intelligence computer programming distributed computer systems formal logic software engineering distributed systems model checking programming languages software quality theory of computation
Online-ссылка:	DOAB: download the publication DOAB: description of the publication
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Ваш комментарий будет первым!

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

Схожие документы