Puhr-Westerheide, P.2018-11-072018-11-071981https://dl.gi.de/handle/20.500.12116/18035deDie statische Analyse von PEARL-Moduln mit dem PEARL-AnalysatorText/Journal Article