Computer Aided Verification
Subtitle: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Publisher: Springer International Publishing AG
Published: 2020
Language: eng
ISBN-13: 9783030532871