Proving the Correctness of Formal User Interface Specifications
| Author: | Bernhard BauerORCiDGND |
|---|---|
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/44578 |
| ISBN: | 9783211827390OPAC |
| ISBN: | 9783709194379OPAC |
| ISSN: | 0946-2767OPAC |
| Parent Title (English): | Design, specification and verification of interactive systems '95: proceedings of the Eurographics Workshop in Toulouse, France, June 7 - 9, 1995 |
| Publisher: | Springer |
| Place of publication: | Wien [u.a.] |
| Editor: | Philippe Palanque, Rémi Bastide |
| Type: | Part of a Book |
| Language: | English |
| Year of first Publication: | 1995 |
| Publishing Institution: | Universität Augsburg |
| Release Date: | 2019/01/08 |
| First Page: | 224 |
| Last Page: | 241 |
| Series: | Eurographics (EUROGRAPH) |
| DOI: | https://doi.org/10.1007/978-3-7091-9437-9_14 |
| Institutes: | Fakultät für Angewandte Informatik |
| Fakultät für Angewandte Informatik / Institut für Informatik | |
| Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering | |
| Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik | |
| Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Professur Softwaremethodik für verteilte Systeme |
