The Discourje project: run-time verification of communication protocols in Clojure.

Ruben Hamers, Erik Horlings, Sung-Shik Jongmans*

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)757-782
JournalInternational Journal on Software Tools for Technology Transfer
Volume24
Issue number5
DOIs
Publication statusPublished - 20 Sep 2022

Cite this