Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Vincenzo Arceri; Agostino Cortesi; Pietro Ferrara; Martina Olliaro
    978-981-19-9601-6
    2023
    Edition 1
    • Provides an overview about the open challenges in software verification
    • Collects contributions ranging from theoretical to practical arguments
    • Serves as a reference resource for researchers and practitioners

    €320

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.