Browse by Person (creator, editor, contributor, etc.)
Number of items: 3.
Conference or workshop item
Arts, Thomas and Earle, Clara Benac and Derrick, John
Verifying Erlang code: a resource locker case-study.
In: In Proc. Formal Methods Europe: Getting IT Right, Copenhagen, Denmark.
(The full text of this publication is not available from this repository)