Reference47 articles.
1. S. Abramsky and C. Hankin, editors. Abstract Interpretation of Declarative Languages. Ellis Horwood Limited, West Sussex, England, 1987.
2. R. Bastide and P. Palanque (Ed.). Proceedings of the Second Eurographics Workshop on Design, Specification, Verification of Interactive Systems. Bonas, France, June 1995. (Informal proceedings).
3. M. Bruynooghe. A practical framework for the abstract interpretation of logic programs. Journal of Logic Programming, 10(2):91–124, February 1991.
4. P. Bumbulis, P.S.C. Alencar, D.D. Cowan, and C.J. Lucena. Combining Formal Techniques and Prototyping in User Interface Construction and Verification. In [2], 1995.
5. P. Bumbulis, P.S.C. Alencar, D.D. Cowan, and C.J. Lucena. Validating Properties of Component-based Graphical User Interfaces. In [45], 1996.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Advance human–machine interface automatic evaluation;Universal Access in the Information Society;2013-08-20