Verifying design patterns in Hoare Type Theory

Kasper Svendsen, Alexandre Buisse, Lars Birkedal

    Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Verifying design patterns in Hoare Type Theory'. Sammen danner de et unikt fingeraftryk.

    Keyphrases

    Computer Science