---
res:
  bibo_abstract:
  - This paper presents a foundation for refining concurrent programs with structured
    control flow. The verification problem is decomposed into subproblems that aid
    interactive program development, proof reuse, and automation. The formalization
    in this paper is the basis of a new design and implementation of the Civl verifier.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Bernhard
      foaf_name: Kragl, Bernhard
      foaf_surname: Kragl
      foaf_workInfoHomepage: http://www.librecat.org/personId=320FC952-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0001-7745-9117
  - foaf_Person:
      foaf_givenName: Shaz
      foaf_name: Qadeer, Shaz
      foaf_surname: Qadeer
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Henzinger, Thomas A
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-2985-7724
  bibo_doi: 10.1007/978-3-030-53288-8_14
  bibo_volume: 12224
  dct_date: 2020^xs_gYear
  dct_identifier:
  - UT:000695276000014
  dct_isPartOf:
  - http://id.crossref.org/issn/0302-9743
  - http://id.crossref.org/issn/1611-3349
  - http://id.crossref.org/issn/9783030532871
  dct_language: eng
  dct_publisher: Springer Nature@
  dct_title: Refinement for structured concurrent programs@
...