[erlang-questions] [ANN] PhD Thesis: Verification of Distributed Erlang Programs...
Hans Svensson
hanssv@REDACTED
Fri Apr 4 11:16:44 CEST 2008
Hi,
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:
http://www.cs.chalmers.se/~hanssv/doc/PhDThesis.pdf
If you have any comments or questions, please feel free to send me an email.
Have a nice day!
/Hans
--
Hans Svensson hanssv@REDACTED
Computer Science and Engineering,
Chalmers University of Technology, Gothenburg, Sweden
http://www.cs.chalmers.se/~hanssv
More information about the erlang-questions
mailing list