T. Michel

Personal Homepage
Employer
()
Email

Publication Statistics

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

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

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.