Implementation-level verification of algorithms with KeY

Daniel Bruns, Wojciech Mostowski, Mattias Ulbrich

    Research output: Contribution to journalArticleAcademicpeer-review

    8 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Implementation-level verification of algorithms with KeY'. Together they form a unique fingerprint.

    Engineering & Materials Science