[erlang-questions] [ANN] PhD Thesis: Verification of Distributed Erlang Programs...
Fri Apr 4 11:16:44 CEST 2008
I have recently managed to finish my PhD thesis 'Verification of
Distributed Erlang Programs using Testing, Model Checking and Theorem
Proving'. The thesis is available in pdf-format:
If you have any comments or questions, please feel free to send me an email.
Have a nice day!
Computer Science and Engineering,
Chalmers University of Technology, Gothenburg, Sweden
More information about the erlang-questions