Georg Gottlob, Thomas A. Henzinger, Georg Weissenbacher. Preface of the Special Issue in Memoriam Helmut Veith. Formal Methods in System Design, 51(2):267-269, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.