Editorials in Scientific Journals:

D. Stewart, G. Weissenbacher:
"Preface of the Special Issue on the Conference on Formal Methods in Computer-Aided Design 2017";
Formal Methods in System Design, 56 (2020), 1-3; 1.

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

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