Higher-order Concurrent Abstract Predicates

Kasper Svendsen, Lars Birkedal, Matthew Parkinson

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

    OriginalsprogEngelsk
    StatusUdgivet - 2013

    Citationsformater