Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings - Konev, Boris; Wolter, Frank; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Computer science; Software engineering; Artificial intelligence; Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Programming Techniques; Software Engineering