Olderog, Ernst-RüdigerWilhelm, Reinhard2018-01-052018-01-0520122012https://dl.gi.de/handle/20.500.12116/9396Ausgehend von Turings 1949 gehaltenem Vortrag ,,Checking a Large Routine“ untersuchen wir, welche seiner Ideen zur Verifikation von Programmen sich durchgesetzt haben, und skizzieren, wie sich das Gebiet der Verifikation seitdem bis heute weiterentwickelt hat.Text/Journal Article1432-122X