Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Updates, Results, Successes of the Formal-Methods Competitions
    Dirk Beyer; Arnd Hartmanns; Fabrice Kordon
    978-3-031-67695-6
    2025
    Edition 1
    • Explains results of a successful set of competitions in the area of formal methods
    • Contributors are leading experts in the foundations of programming domain
    • Methodologies and results presented are valuable for researchers and practitioners

    €110

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.