Title

Computer Aided Verification. 32nd International Conference, CAV 2020. Proceedings. Pt.1

Title Supplement
Los Angeles, California, USA, July 21-24 2020
Person Involved
Publisher
Publishing Place
Cham
Publication Date
2020
Series
Lecture Notes in Computer Science; 12224
ISBN
978-3-030-53287-1
978-3-030-53288-8
Conference