Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
English[eng]
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
English[eng]
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