Formalization and proof of design guidelines within the scope of testing formally specified electronic product catalogues
| Year of publication: |
2000
|
|---|---|
| Authors: | Fritzsche, H. ; Michel, T. |
| Published in: |
Interacting with computers : the interdisciplinary journal of human-computer interaction. - Amsterdam [u.a.] : Elsevier, ISSN 0953-5438, ZDB-ID 10125607. - Vol. 12.2000, 3, p. 209-224
|