Improving UI integration with formal semantics

DOI:	https://doi.org/10.1145/2002375.2002384
URL:	https://dl.acm.org/citation.cfm?doid=2002375.20023...
Additional URL:	http://www.heikopaulheim.com/documents/semais_2010...
Document Type:	Conference or workshop publication
Year of publication:	2010
Book title:	Proceedings of the 1st International Workshop on Semantic Models for Adaptive Interactive Systems (SEMAIS 2010)
Page range:	38-42
Conference title:	SEMAIS 2010
Location of the conference venue:	Hong Kong, China
Date of the conference:	07.02.2010
Publisher:	Hussein, Tim
Place of publication:	New York, NY
Publishing house:	ACM Press
ISBN:	978-1-4503-0000-1
Publication language:	English
Institution:	School of Business Informatics and Mathematics > Information Systems V: Web-based Systems (Bizer 2012-)
Subject:	004 Computer science, internet