Title: Leveraging Applications of Formal Methods, Verification, and Validation
Subjects: Logic design, Information systems, Computer science, Software engineering, Data mining, Computer networks