Formal approach to consistency and reuse of links in hypermedia applications
Renata Pontin de Mattos Fortes Alvaro Garcia Neto; M C Nicoletti; Chi 96 Workshop on Formal Methods in Computer Human Interactions: Comparison, Benefits, Open Questions (1996 Vancouver)
Chi 96 Workshop on Formal Methods in Computer Human Interactions: Comparison, Benefits, Open Questions Vancouver : Acm, 1996Vancouver Acm 1996
Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-912222 ) e outros locais(Acessar)