Writing Correct Programs (Programme korrekt erstellen) Vortrag zum Oberseminar Softwareentwicklung von Jörg Winkler (01IN-PI)