Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 2.

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)

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 Apr 11 16:16:48 2014 BST.