Title: Formal Methods for Industrial Critical Systems
Subjects: Information systems, Software engineering, Logic design, Logics and Meanings of Programs, Computer Appl. in Administrative Data Processing, Computer science, Computation by Abstract Devices, Special Purpose and Application-Based Systems