Title: Formal Methods for Industrial Critical Systems
            
                Lecture Notes in Computer Science  Programming and Software
Subjects: Formal methods (Computer science), Congresses, Software engineering, Computer programs, Verification, Reliability, System design