---
res:
  bibo_abstract:
  - "This special issue of the Journal on Formal Methods in System Design is dedicated
    to Prof. Helmut Veith, who unexpectedly passed away in March 2016. Helmut Veith
    was a brilliant researcher, inspiring collaborator, passionate mentor, generous
    friend, and valued member of the formal methods community. Helmut was not only
    known for his numerous and influential contributions in the field of automated
    verification (most prominently his work on Counterexample-Guided Abstraction Refinement
    [1,2]), but also for his untiring and passionate efforts for the logic community:
    he co-organized the Vienna Summer of Logic (an event comprising twelve conferences
    and numerous workshops which attracted thousands of researchers from all over
    the world), he initiated the Vienna Center for Logic and Algorithms (which promotes
    international collaboration on logic and algorithms and organizes outreach events
    such as the LogicLounge), and he coordinated the Doctoral Program on Logical Methods
    in Computer Science at TU Wien (currently educating more than 40 doctoral students)
    and a National Research Network on Rigorous Systems Engineering (uniting fifteen
    researchers in Austria to address the challenge of building reliable and safe
    computer\r\nsystems). With his enthusiasm and commitment, Helmut completely reshaped
    the Austrian research landscape in the field of logic and verification in his
    few years as a full professor at TU Wien.@eng"
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Georg
      foaf_name: Gottlob, Georg
      foaf_surname: Gottlob
  - 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
  - foaf_Person:
      foaf_givenName: Georg
      foaf_name: Weißenbacher, Georg
      foaf_surname: Weißenbacher
  bibo_doi: 10.1007/s10703-017-0307-6
  bibo_issue: '2'
  bibo_volume: 51
  dct_date: 2017^xs_gYear
  dct_identifier:
  - UT:000415615600001
  dct_language: eng
  dct_publisher: Springer@
  dct_title: Preface of the special issue in memoriam Helmut Veith@
...