Title: Formal methods for industrial critical systems
Subjects: COMPUTERS / Computer Engineering, Formal methods (Computer science)