Fingeraftryk
Dyk ned i forskningsemnerne om 'Asynchronous Probabilistic Couplings in Higher-Order Separation Logic'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
7
Citationer
(Scopus)