@proceedings{lncs10951,
  editor    = {K. Havelund and J. Peleska and B. Roscoe and Vink, E.P. de},
  title     = {Proc.\ FM~2018, 22nd International Symposium on Formal Methods,
               held as part of FLoC 2018, the Federated Logic Conference, 
               Oxford, UK, July 15-17, 2018},
  series    = {Lecture Notes in Computer Science},
  volume    = {10951},
  publisher = {Springer},
  year      = {2018},
  doi       = {10.1007/978-3-319-95582-7},
}