Title: Formal Methods for Industrial Critical Systems
Subjects: Computer science, Software engineering, Computer programs, Computer software, reliability