- Suche

- Kontakt

Proving Correctness of Formal User Interface Specifications

Bauer, B.
Specification, Proc. of the 2nd Eurographics Workshop on Design, Verification of Interactive Systems, Chateau de Bonas, Frankreich, Ed.: P. Palanque, R. Bastide, 6.-9. Juni 1995, Springer Computer Science, pp. 224-241

Verlag: Springer Berlin