Proving the Correctness of Formal User Interface Specifications

Metadaten
Author:	Bernhard Bauer ORCiD GND
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
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

Open Access