Data-type checking of IEC61131-3 ST and IL applications.

Mário de Sousa
Published in: ETFA (2012)