Towards a Formal Integrated Model for Function and User Interface.

Bin Zhu, Shiming Zhang, Anbao Wang

Browse the full SNPD paper archive.