TY  - RPRT
TI  - Automated Deductive Verification for Ladder Programming
AU  - Denis Cousineau
AU  - David Mentré
AU  - Hiroaki Inoue
PY  - 2019
DO  - 10.4204/eptcs.310.2
UR  - https://arxiv.org/abs/1912.10629
ID  - 1912.10629
ER  -