@Article{DagRep.7.12,
  title =	{{Dagstuhl Reports, Volume 7, Issue 12, December 2017, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{12},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.12},
  URN =		{urn:nbn:de:0030-drops-97330},
  doi =		{10.4230/DagRep.7.12},
  annote =	{Keywords: Dagstuhl Reports, Volume 7, Issue 12, December 2017, Complete Issue}
}
@Article{DagRep.7.12.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 7, Issue 12, 2017}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{12},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.12.i},
  URN =		{urn:nbn:de:0030-drops-97329},
  doi =		{10.4230/DagRep.7.12.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 7, Issue 12, 2017}
}
@Article{alexandrov_et_al:DagRep.7.12.1,
  author =	{Alexandrov, Theodore and B\"{o}cker, Sebastian and Dorrestein, Pieter and Schymanski, Emma},
  title =	{{Computational Metabolomics: Identification, Interpretation, Imaging (Dagstuhl Seminar 17491)}},
  pages =	{1--17},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{12},
  editor =	{Alexandrov, Theodore and B\"{o}cker, Sebastian and Dorrestein, Pieter and Schymanski, Emma},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.12.1},
  URN =		{urn:nbn:de:0030-drops-86740},
  doi =		{10.4230/DagRep.7.12.1},
  annote =	{Keywords: algorithms, bioinformatics, cheminformatics, computational mass spectrometry, computational metabolomics, databases, imaging mass spectrometry}
}
@Article{almeida_et_al:DagRep.7.12.18,
  author =	{Almeida, Jo\~{a}o Paulo A. and Frank, Ulrich and K\"{u}hne, Thomas},
  title =	{{Multi-Level Modelling (Dagstuhl Seminar 17492)}},
  pages =	{18--49},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{12},
  editor =	{Almeida, Jo\~{a}o Paulo A. and Frank, Ulrich and K\"{u}hne, Thomas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.12.18},
  URN =		{urn:nbn:de:0030-drops-86758},
  doi =		{10.4230/DagRep.7.12.18},
  annote =	{Keywords: metamodeling, multi-level modeling}
}
@Article{chen_et_al:DagRep.7.12.50,
  author =	{Chen, Junjie and Donaldson, Alastair F. and Zeller, Andreas and Zhang, Hongyu},
  title =	{{Testing and Verification of Compilers (Dagstuhl Seminar 17502)}},
  pages =	{50--65},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{12},
  editor =	{Chen, Junjie and Donaldson, Alastair F. and Zeller, Andreas and Zhang, Hongyu},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.12.50},
  URN =		{urn:nbn:de:0030-drops-86763},
  doi =		{10.4230/DagRep.7.12.50},
  annote =	{Keywords: code generation, compiler testing, compiler verification, program analysis, program optimization}
}