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
• Διαθέσιμο Online: DOAB: download the publication; DOAB: description of the publication