Arts, T. and Earle, C.B. and Derrick, J.
(2002)
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.
This list was generated on Fri May 24 18:33:27 2013 BST.
