A Formal Semantics of PLC Programs in Coq.

Sidi Ould Biha

Browse the full COMPSAC paper archive.