TY  - RPRT
TI  - Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language Requirements
AU  - Zsófia Ádám
AU  - Ignacio D Lopez-Miguel
AU  - Anastasia Mavridou
AU  - Thomas Pressburger
AU  - Martin Bes
AU  - Enrique Blanco Vinuela
AU  - Andreas Katis
AU  - Jean-Charles Tournier
AU  - Khanh V Trinh
AU  - Borja Fernandez Adiego
PY  - 2023
UR  - https://ntrs.nasa.gov/citations/20230003752
ID  - 20230003752
ER  -