Seidl, Helmut2018-01-052018-01-0520102010https://dl.gi.de/handle/20.500.12116/9562Praktische Programmverifikation durch statische AnalyseText/Journal Article1432-122X