Semantics of Programming Languages

This page provides material for a small part of the above-mentioned course (applications to software verification).

Material

All slides are under copyright. All rights reserved.

Exercise:

Additional material:

Literature

People

The first part of the lecture was spoken by Prof. Dr. Alexander Knapp.