A Design Methodology for the Formal Specification and Verification of Hypermedia Documents

SANTOS, C. A. S.; COURTIAT, J. P. ; SAQUI-SANNES, P. . A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. In: FORTE, 1998, Paris. Formal Description Techniques and Protocol Specification - Série IFIP Advances in Information and Communication Technology. Deventer, The Netherlands: Kluwer, 1998. p. 163-178.

1998