SillyFreak/tu-wien-software-engineering-notes

Notes for Master Software Engineering at TU Wien

Formal methods - the latest version of the document is found at formal-methods/notes.pdf - direct Download Link.

Optimizing compilers - the latest version of the document is found at optimizing-compilers/notes.pdf - direct Download Link.