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: Integrated Formal Methods
    sub title: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
  name:
    name part: Polikarpova, Nadia.
    role:
      role term: editor.
  name:
    name part: Schneider, Steve.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2017
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XXI, 438 p. 109 illus. online resource.
  abstract: This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software.
  note: edited by Nadia Polikarpova, Steve Schneider.
  subject:
    topic: Computer science
  subject:
    topic: Computer organization
  subject:
    topic: Software engineering
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Computers
  subject:
    topic: Computer Science
  subject:
    topic: Software Engineering
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Theory of Computation
  subject:
    topic: Computer Systems Organization and Communication Networks
  subject:
    topic: Computing Methodologies
  subject:
    topic: The Computing Profession
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 10510
  identifier: 9783319668451
  identifier: http://dx.doi.org/10.1007/978-3-319-66845-1
  record info:
    record creation date: 170826
    record change date: 20170826184545.0
    record identifier: 978-3-319-66845-1