Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 Download list (.CSV)
Ordered by relevance
0 eBooks €0
View basket
  • eBook: Computer Aided Verification
    978-3-030-53291-8
    2020, Edition 1
    Subjects: Software Engineering

    Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
    Shuvendu K. Lahiri; Chao Wang
    Open Access.