Travelled to:
1 × Denmark
Collaborated with:
T.Arts J.Derrick
Talks about:
resourc (1) verifi (1) locker (1) erlang (1) studi (1) code (1) case (1)
Person: Clara Benac Earle
DBLP: Earle:Clara_Benac
Contributed to:
Wrote 1 papers:
- FME-2002-ArtsED #case study #erlang #verification
- Verifying Erlang Code: A Resource Locker Case-Study (TA, CBE, JD), pp. 184–203.