Title: Formal Methods for Industrial Critical Systems
Subjects: Logic design, Computer science, Software engineering, Informatique, Reliability, Congresses, Verification, Computer programs, Formal methods (Computer science), Computer software, Mathematical Logic and Formal Languages, Programming Techniques, Special Purpose and Application-Based Systems, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs