Shuvendu K. Lahiri, Chao Wang. <br/><br/>
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I 

 - Cham  Springer  2020 
<br/><br/><label>ISBN: </label>9783030532888 
<br/><br/><label>Subjects--Topical Terms: </label><br/>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.