Title: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Subjects: Software engineering, Robots, programming, Machine learning, Artificial Intelligence (incl. Robotics), Computer science, Logic design, Artificial intelligence, Programming Languages, Compilers, Interpreters, Computation by Abstract Devices, Mathematical Logic and Formal Languages, Logics and Meanings of Programs