Bin Zhu, Shiming Zhang, Anbao Wang. Towards a Formal Integrated Model for Function and User Interface. In Teruhisa Hochin, Roger Y. Lee, editors, 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2012, Kyoto, Japan, August 8-10, 2012. pages 275-280, IEEE Computer Society, 2012. [doi]
Abstract is missing.