News

Lecture script online

Written on 05.06.2018 17:52 by Robert Künnemann

Hi!

This is Robert, your lecturer for the next three sessions. The new "Lecture scripts" category now contains the script for the lecture on Thursday. This part will be on formal verification, and, not very surprisingly, be quite formal. I recommend to print out the lecture script before the lecture, so you are able to make notes during the lecture. Also: ask questions. Your colleagues will thank you (not literally, but they will be happy you asked in their place).

Cheers, Robert

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.