Implementation-level verification of algorithms with KeY

Daniel Bruns, Wojciech Mostowski, Mattias Ulbrich

    Research output: Contribution to journalArticleAcademicpeer-review

    9 Citations (Scopus)

    Fingerprint

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

    Computer Science