© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Verifying Erlang code: a resource locker case-study
Thomas Arts, Clara Benac Earle, and John Derrick
In Lars-Henrik Eriksson and Peter Alexander Lindsay, editors, In Proc. Formal Methods Europe: Getting IT Right, Copenhagen, Denmark, volume 2391 of LNCS, pages 182-196. Springer-Verlag, July 2002.Bibtex Record
@inproceedings{1551,
author = {Thomas Arts and Clara Benac Earle and John Derrick},
title = {{V}erifying {E}rlang code: a resource locker case-study},
month = {July},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1551},
publication_type = {inproceedings},
submission_id = {7552_1035912342},
ISBN = {3-540-43928-5},
booktitle = {In Proc. Formal Methods Europe: Getting IT Right, Copenhagen, Denmark},
editor = {Lars-Henrik Eriksson and Peter Alexander Lindsay},
volume = {2391},
series = {LNCS},
publisher = {Springer-Verlag},
ISSN = {0302-9743},
refereed = {Yes},
}