Bringing automated formal verification to PLC program development

Aquesta tesi apareix a les col·leccions següents