Testing abstract behavioral specifications

Author(s):: Wong, P.Y.H.; Bubel, R.; Boer, F.S. de; Gómez-Zamalloa, M.; Gouw, C. de; Hähnle, R.; Meinke, K.; Sindhu, M.A.

Published: 2015
Publication type: Article / Letter to editor

Date issued: 2015
Language: English
Is part of
hdl: 1887/3198368
doi: 10.1007/s10009-014-0301-x