Preface of the special issue in memoriam Helmut Veith

DOI10.1007/s10703-017-0307-6zbMath1384.00074DBLPjournals/fmsd/GottlobHW17OpenAlexW2768799399WikidataQ62040426 ScholiaQ62040426MaRDI QIDQ1696579

No author found.

Publication date: 14 February 2018

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-017-0307-6

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) History of computer science (68-03)

Related Items (1)

Preface of the special issue on the conference on formal methods in computer-aided design 2017

Cites Work

• Counterexample-guided abstraction refinement for symbolic model checking
• Unnamed Item

This page was built for publication: Preface of the special issue in memoriam Helmut Veith