Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

• その他の著者: Silva, Alexandra (編集者), Leino, K. Rustan M. (編集者)
• フォーマット: 電子媒体 図書の章
• 言語: 英語
• 出版事項: Springer Nature 2021
• シリーズ: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• 主題: Software Engineering; Mathematical theory of computation; Artificial intelligence; Computer programming / software development; Computer modelling & simulation; architecture verification; artificial intelligence; computer programming; distributed computer systems; distributed systems; embedded systems; formal logic; formal methods; formal verifications; model checker; model checking; signal processing; software architecture; software design; software engineering; software quality
• オンライン･アクセス: DOAB: download the publication; DOAB: description of the publication