Editorials in Scientific Journals:

G. Gottlob, T. Henzinger, G. Weissenbacher:
"Preface of the Special Issue in Memoriam Helmut Veith";
Formal Methods in System Design, 51 (2017), 2; 267 - 269.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Created from the Publication Database of the Vienna University of Technology.