Points-to analysis of IEC 61131-3 programs: Implementation and application.

Florian Angerer, Herbert Prhofer, Rudolf Ramler, Friedrich Grillenberger

Browse the full ETFA paper archive.