@proceedings{iFM19,
  editor    = {Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa},
  title     = {iFM, Integrated Formal Methods --
               15th International Conference,
               Bergen, Norway, December 2019},
  publisher = {Springer},
  series    = {LNCS},
  volume     = {11918},
  year      = {2019}
}