Hans Svensson. Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving. PhD thesis, Chalmers University of Technology, Gothenburg, Sweden, 2008. [doi]
@phdthesis{basesearch-1881,
title = {Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving},
author = {Hans Svensson},
year = {2008},
url = {https://www.base-search.net/Record/79d4891d5cf47760692200d88f292dd912f5fceaa118537760fb46fdc6b3aa32},
note = {base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:69328)},
researchr = {https://researchr.org/publication/basesearch-1881},
cites = {0},
citedby = {0},
school = {Chalmers University of Technology, Gothenburg, Sweden},
}