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)