Higher-order Concurrent Abstract Predicates

Kasper Svendsen, Lars Birkedal, Matthew Parkinson

    Publikation: Bog / Antologi / Rapport › Rapport › Forskning

    OriginalsprogEngelsk
    StatusUdgivet - 2013

    Citationsformater