Fast Verified BCD Subtyping

Jan Bessai*, Jakob Rehof, Boris Düdder

*Corresponding author af dette arbejde
    2 Citationer (Scopus)

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Fast Verified BCD Subtyping'. Sammen danner de et unikt fingeraftryk.

    Keyphrases

    Computer Science