454766_1_En_BookFrontmatter 1..19

First Page		Document Content
Max Planck Institute for Software Systems Science and technology in Germany Gerhard Weikum Max Planck Society cole Polytechnique Fdrale de Lausanne Daniel Kroening Max Planck Institute for Informatics Computer science		454766_1_En_BookFrontmatter 1..19 Add to Reading List Source URL: link.springer.com Download Document from Source Website File Size: 166,24 KB Share Document on Facebook