Fast Verified BCD Subtyping

Jan Bessai*, Jakob Rehof, Boris Düdder

*Corresponding author for this work
    2 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Fast Verified BCD Subtyping'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science