@book{d40a2868de4b447aa487d00802097f3e,
title = "Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Bras{\'i}lia, Brazil, September 27-29, 2017, Proceedings",
keywords = "Computer software, Computer logic, Computer Appl. in Administrative Data Processing, Logic design, Application software, Information systems, Computer science, Algorithms, Software Engineering, Computer Science, Artificial Intelligence (incl. Robotics), Mathematical logic, Artificial intelligence, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Software engineering, Mathematical Logic and Formal Languages",
editor = "Clare Dixon and Marcelo Finger",
year = "2017",
language = "English",
isbn = "9783319661674",
series = "Lecture Notes in Computer Science",
}