A Formal Behavioral Semantics for TestML
J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.
LibreCat: /record/38107
DOI: 10.1109/ISoLA.2006.37