Browse by Person (creator, editor, contributor, etc.)
Number of items: 7.
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)
A Semantics for Tracing.
In: Draft Proceedings of the 13th International Workshop on Implementation of Functional Languages, IFL 2001.
(Full text available)