Kucera, Gernot: Programmanalyse von SPS-Programmen als Teilschritt für die automatisierte Verifikation. . In: Grenzenlos kooperieren. Tagungsband 7. Forschungsforum der österreichischen Fachhochschulen. Forschung im Dialog mit Gesellschaft und Wirtschaft, S.47n/a
Inhalt