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

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