This are lecture notes for the course Formal methods of Informatics (TU-Vienna WS 2013). This was originally meant as my personal notes and so they are not complete, might be not understandable or could even conatain errors. Feel free to correct/improve them and send me a pull request on github. The page numbers correspond to the numbers on the lecture-slides uploaded on TUWEL.
The latest PDF of the lecture notes can be downloaded here