Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

• Другие авторы: Shoham, Sharon (Редактор), Vizel, Yakir (Редактор)
• Формат: Электронный ресурс Глава книги
• Язык: английский
• Опубликовано: Cham Springer Nature 2022
• Серии: Lecture Notes in Computer Science 13371
• Предметы: Software Engineering; Artificial intelligence; Algorithms & data structures; Computer networking & communications; architecting; architecture verification and validation; artificial intelligence; computer programming; computer science; computer systems; distributed computer systems; distributed systems; embedded systems; formal logic; mathematics; model checking; programming languages; software architecture; software design; software engineering; software quality; theoretical computer science; verification; verification and validation
• Online-ссылка: OAPEN Library: download the publication; OAPEN Library: description of the publication