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: Formal Methods - The Next 30 Years
    sub title: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
  name:
    name part: ter Beek, Maurice H.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: McIver, Annabelle.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Oliveira, José N.
    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: 2019
    edition: 1st ed. 2019.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XXI, 774 p. 1687 illus., 92 illus. in color. online resource.
  abstract: This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations. .
  table of contents: Invited Presentations -- Verification -- Synthesis Techniques -- Concurrency -- Model Checking Circus -- Model Checking -- Analysis Techniques -- Specification Languages -- Reasoning Techniques -- Modelling Languages -- Learning-Based Techniques and Applications -- Refactoring and Reprogramming- I-Day Presentations.
  note: edited by Maurice H. ter Beek, Annabelle McIver, José N. Oliveira.
  subject:
    topic: Software engineering
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Computer logic
  subject:
    topic: Mathematical logic
  subject:
    topic: Algorithms
  subject:
    topic: Artificial intelligence
  subject:
    topic: Software Engineering
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Algorithm Analysis and Problem Complexity
  subject:
    topic: Artificial Intelligence
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Programming and Software Engineering ; 11800
  identifier: 9783030309428
  identifier: https://doi.org/10.1007/978-3-030-30942-8
  record info:
    record creation date: 190915
    record change date: 20191220130113.0
    record identifier: 978-3-030-30942-8