Publications by Year
sign in
Journal
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Collection
Collection
Published by
Springer Nature
Safe sessions of channel actions in Clojure: A tour of the Discourje Project
In Proceedings
R. Hamers (Ruben)
and
S.-S.T.Q. Jongmans (Sung)
October 2020
Previous
Refine Publication List
Next
×
Workflow
×
Workflow
×
Add Content
User
Publication
Person
Organisation
Collection
