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

• Övriga skapare: Silva, Alexandra (Utgivare, redaktör, sammanställare), Leino, K. Rustan M. (Utgivare, redaktör, sammanställare)
• Materialtyp: Elektronisk Bokavsnitt
• Språk: engelska
• Publicerad: Springer Nature 2021
• Serie: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues 12759
• Ämnen: Software Engineering; Artificial intelligence; Computer programming / software development; Mathematical theory of computation; Computer modelling & simulation; architecture verification; artificial intelligence; automata theory; computer programming; distributed computer systems; distributed systems; embedded systems; formal languages; formal logic; formal methods; model checking; software architecture; software design; software engineering; software quality; temporal logic; verification techniques
• Länkar: OAPEN Library: download the publication; OAPEN Library: description of the publication