BibTeX record conf/fm/SmithW19

download as .bib file

  author    = {Douglas R. Smith and
               Stephen J. Westfold},
  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     = {Transformations for Generating Type Refinements},
  booktitle = {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},
  pages     = {371--387},
  publisher = {Springer},
  year      = {2019},
  url       = {\_24},
  doi       = {10.1007/978-3-030-54997-8\_24},
  timestamp = {Wed, 17 Aug 2022 12:52:03 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics