NAIL094 — Decision procedures and verification

I am using moodle to organize the course this year. Please sign up to the moodle course for further information. This web page is not being updated anymore (with the exception of the programming tasks descriptions).