Skip to main content

Browse by Publisher

Group by: Item Type | Date | No Grouping
Number of items: 2.

Conference or workshop item

Dilley, Nicolas, Lange, Julien (2020) Bounded verification of message-passing concurrency in Go using Promela and Spin. In: PLACES 2020. . EPTCS (In press) (KAR id:80588)
[thumbnail of main.pdf]
Preview

Edited book

Thompson, Simon, ed. (2018) Proceedings of the Sixth Workshop on Trends in Functional Programming in Education. EPTCS, 60 pp. (doi:10.4204/EPTCS.270) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:67028)
This list was generated on Wed Dec 8 02:39:27 2021 GMT.