TY  - CONF

T1  - Verifying Erlang Code: A Resource Locker Case-Study.

JO  - FME

UR  - https://doi.org/10.1007/3-540-45614-7

PY  - 2002/01/01

AU  - Arts T

AU  - Earle CB

AU  - Derrick J

ED  - Eriksson L-H

ED  - Lindsay PA

PB  - Springer

VL  - 2391

SP  - 184

EP  - 203

Y2  - 2024/12/22

ER  -