Title: Formal methods for industrial critical systems
Subjects: Formal methods (Computer science), Congresses, Verification, Software engineering, Computer programs, Logic design, Computer science