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-37706-8
    2023, Edition 1
    Subjects: Software Engineering
    35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I
    Constantin Enea; Akash Lal
    Open Access.