TY  - CONF
ID  - PaulheimProbstSEMAIS2010
T1  - {I}mproving {UI} {I}ntegration with {F}ormal {S}emantics
A1  - Paulheim, Heiko
A1  - Probst, Florian
ED  - Dix, Alan
ED  - Hussein, Tim
ED  - Lukosch, Stephan
ED  - Ziegler, Juergen
TI  - Proceedings of the Workshop on Semantic Models for Adaptive Interactive Systems (SEMAIS)
Y1  - 2010
ER  -