@proceedings{ffm2015,
  editor      = {Thomas Str\"oder and Wolfgang Thomas},
  title       = {Proceedings of the Young Researchers' Conference ``Frontiers of Formal Methods''},
  institution = {RWTH Aachen},
  keywords    = {Formal Methods, Algorithmic Synthesis, Reactive Systems, Discrete-Continuous Systems, Program Analysis, Model Analysis, Quantitative Logics, Automata, Correctness, System Engineering},
  year        = {2015},
  number      = {AIB-2015-06},
  month       = {February},
  url         = {http://aib.informatik.rwth-aachen.de/2015/2015-06.pdf}
}