Skip to main content

License single eBooks

Your results

More search possibilities.

Search and filter

Showing 1 - 1 Download list (.CSV)
Ordered by relevance

  • eBook: Computer Aided Verification
    978-3-031-13188-2
    2022, Edition 1
    Subjects: Software Engineering
    34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II
    Sharon Shoham; Yakir Vizel
    Open Access.