Title: Formal Methods for Industrial Critical Systems
Subjects: Software engineering, Computer programs, Computer science, Logic design, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Special Purpose and Application-Based Systems