Search Results - "Computer Programs - Verification"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

    Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings by CAV (Conference), Silva, Alexandra, Leino, K. Rustan M.

    ISBN: 9783030816889, 3030816885, 9783030816872, 3030816877
    Published: Netherlands Springer Nature 2021
    Get full text
    eBook Book
    Save to List
    Saved in:
  2. 2
    Cover Image

    Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings by CAV (Conference), Silva, Alexandra, Leino, K. Rustan M.

    ISBN: 9783030816858, 3030816850, 9783030816841, 3030816842
    Published: Netherlands Springer Nature 2021
    Get full text
    eBook Book
    Save to List
    Saved in:

Search Tools: