HCI Issues - Formal Methods in HCI

Formal Methods in HCI:

http://www.comp.lancs.ac.uk/~dixa/topics/formal/

http://archive.comlab.ox.ac.uk/formal-methods.html

 

native:

http://kczxwt.suda.edu.cn/Able.ACC2.Web/Page_CourseDetail.aspx?ID=2796  lecture