Software verification

Mastercourse, Technical University of Delft, Programming Languages Group, 1900