Arts, T. and Earle, C.B. and Derrick, J.
(2003)
Development of a Verified Erlang Program for Resource Locking.
Software Tools for Technology Transfer (STTT), 5
(2).
pp. 205-220.
ISSN 1433-2779 .
The full text of this publication is not available from this repository.
2002
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 23:42:33 2013 BST.
