Software verification

Mastercourse, Technical University of Delft, Programming Languages Group,