Bibliography of software tools for user interface development
ACM SIGGRAPH Computer Graphics
Using temporal logic in the specification of reactive and interactive systems
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Hi-index | 0.00 |