×
  • Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings

    Alexandra Silva K. Rustan M. Leino

Click on cover to enlarge.
Buy This Book
From Amazon.
21 - 23Hours to read