Title: Software Engineering And Formal Methods 9th International Conference Proceedings
Subjects: Logic design, Computer networks, Software engineering, Computer science, Artificial intelligence, System design, Computer Communication Networks, Programming Techniques, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics)