Preface of the Special Issue in Memoriam Helmut Veith (2017)

First Author: Gottlob G
Attributed to:  VADA: Value Added Data Systems -- Principles and Architecture funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/s10703-017-0307-6

Publication URI: https://link.springer.com/article/10.1007%2Fs10703-017-0307-6

Type: Journal Article/Review

Parent Publication: Formal Methods in System Design

Issue: 2