Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. / Imai, Keigo ; Lange, Julien; Neykova, Rumyana.

In: Lecture Notes in Computer Science, Vol. TACAS 2022, 24.12.2021.

Research output: Contribution to journalConference articlepeer-review



  • main

    Accepted author manuscript, 602 KB, PDF document

    Licence: CC BY Show licence

Original languageEnglish
JournalLecture Notes in Computer Science
VolumeTACAS 2022
Publication statusAccepted/In press - 24 Dec 2021
EventTACAS 2022 -
Duration: 2 Apr 20227 Apr 2022
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 44773558