BibTeX record conf/fm/2019-w2

• > Home > conf/fm/2019-w2

@proceedings{DBLP:conf/fm/2019-w2,
  editor       = {Emil Sekerinski and
                  Nelma Moreira and
                  Jos{\'{e}} N. Oliveira and
                  Daniel Ratiu and
                  Riccardo Guidotti and
                  Marie Farrell and
                  Matt Luckcuck and
                  Diego Marmsoler and
                  Jos{\'{e}} Creissac Campos and
                  Troy Astarte and
                  Laure Gonnord and
                  Antonio Cerone and
                  Luis Couto and
                  Brijesh Dongol and
                  Martin Kutrib and
                  Pedro Monteiro and
                  David Delmas},
  title        = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
                  October 7-11, 2019, Revised Selected Papers, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12233},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-54997-8},
  doi          = {10.1007/978-3-030-54997-8},
  isbn         = {978-3-030-54996-1},
  timestamp    = {Mon, 05 Feb 2024 20:31:40 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/2019-w2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}