Verifying Erlang code: a resource locker case-study
Arts, Thomas and Earle, Clara Benac and Derrick, John
(2002)
Verifying Erlang code: a resource locker case-study.
In: Eriksson, Lars-Henrik and Lindsay, Peter A., eds.
UNSPECIFIED
LNCS, 2391
.
Springer-Verlag, pp. 184-203.
ISBN 3-540-43928-5.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13764)
The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
(Contact us about this Publication)
|
- Depositors only (login required):
|