Humboldt-Universität zu Berlin, Institut für Informatik, Prof. Dr. Holger Schlingloff
Lectures on "Logical Specification and Testing"

Here are the slides from the SEFM 2009 School on Logical Specification and Testing, at the Vietnam National University.

Slides (C) H. Schlingloff 2009. Use permitted only for private personal use; distribution prohibited!
H. Schlingloff, 22.11.2009