Formalising a turing-complete choreographic language in Coq

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Sorter

Fingeraftryk