Lars-Åke Fredlund, Clara Benac Earle. Model checking erlang programs: the functional approach. In Marc Feeley, Philip W. Trinder, editors, Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006. pages 11-19, ACM, 2006. [doi]
@inproceedings{FredlundE06,
title = {Model checking erlang programs: the functional approach},
author = {Lars-Åke Fredlund and Clara Benac Earle},
year = {2006},
doi = {10.1145/1159789.1159793},
url = {http://doi.acm.org/10.1145/1159789.1159793},
tags = {meta programming, model checking, meta-model, functional programming, Meta-Environment, systematic-approach},
researchr = {https://researchr.org/publication/FredlundE06},
cites = {0},
citedby = {0},
pages = {11-19},
booktitle = {Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006},
editor = {Marc Feeley and Philip W. Trinder},
publisher = {ACM},
isbn = {1-59593-490-1},
}