Author: H. Fritzsche
Publications
Publication period start: 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.