This paper presents Discourje: a runtime verification framework for communication protocols in Clojure. Discourje guarantees safety of protocol ...
確定! 回上一頁