Title: Leveraging applications of formal methods
Subjects: Formal methods (Computer science), Congresses, Logic design, Computer science, Software engineering, Electronic data processing, Data transmission systems, Embedded computer systems