Sun J: Concept analysis as a formal method for menu design (0)

by G-Q Zhang, G Shen, Y Tian
Venue:In Interactive Systems. Design, Specification, and Verification