rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Software Engineering and Formal Methods
    sub title: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
  name:
    name part: Johnsen, Einar Broch.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Schaefer, Ina.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2018
    edition: 1st ed. 2018.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XIV, 303 p. 98 illus. online resource.
  abstract: This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.
  table of contents: Specification -- Concurrency -- Program analysis -- Model checking and runtime verification -- Applications -- Shape analysis and reuse.
  note: edited by Einar Broch Johnsen, Ina Schaefer.
  subject:
    topic: Software engineering
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Computer programming
  subject:
    topic: Computers
  subject:
    topic: Computer system failures
  subject:
    topic: Software Engineering
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Programming Techniques
  subject:
    topic: The Computing Profession
  subject:
    topic: System Performance and Evaluation
  subject:
    topic: Theory of Computation
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Theoretical Computer Science and General Issues ; 10886
  identifier: 9783319929705
  identifier: https://doi.org/10.1007/978-3-319-92970-5
  record info:
    record creation date: 180529
    record change date: 20191023122404.0
    record identifier: 978-3-319-92970-5