Proving the Correctness of Formal User Interface Specifications

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Bernhard BauerORCiDGND
Frontdoor URLhttps://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
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