Higher-order Concurrent Abstract Predicates

Kasper Svendsen, Lars Birkedal, Matthew Parkinson

    Publikation: Bog / Antologi / RapportRapportForskning

    OriginalsprogEngelsk
    StatusUdgivet - 2013

    Citationsformater