Author: T. Michel

Publications

Publication period start: 2000
Number of co-authors: 1

Co-authors

Number of publications with favourite co-authors
H. Fritzsche
1

Productive Colleagues

Most productive colleagues in number of publications
H. Fritzsche
1

Publications

Fritzsche, H., Michel, T. (2000): Formalization and Proof of Design Guidelines Within the Scope of Testing Formally Specifie. In Interacting with Computers, 12 (3) pp. 209-223.