Browsing by Author Rosu, G
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
30-Mar-2022 | Kmclib: Automated Inference and Verification of Session Types from OCaml Programs | Imai, K; Lange, J; Neykova, R |
Issue Date | Title | Author(s) |
---|---|---|
30-Mar-2022 | Kmclib: Automated Inference and Verification of Session Types from OCaml Programs | Imai, K; Lange, J; Neykova, R |