Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Shuvendu K. Lahiri, Chao Wang.
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I - Cham Springer 2020
9783030532888
Software engineering. Computers. Computer organization. Artificial intelligence. Computer hardware. Software Engineering. Theory of Computation. Computer Systems Organization and Communication Networks. Artificial Intelligence. Information Systems and Communication Service. Computer Hardware.
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I - Cham Springer 2020
9783030532888
Software engineering. Computers. Computer organization. Artificial intelligence. Computer hardware. Software Engineering. Theory of Computation. Computer Systems Organization and Communication Networks. Artificial Intelligence. Information Systems and Communication Service. Computer Hardware.