Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model

C. A. S. Santos, Jean-Pierre Courtiat, Luiz Fernando Gomes Soares, Guido L. De Souza. Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model. In 1998 MultiMedia Modeling (MMM 98), October 12-15, 1998, Lausanne, Switzerland, Proceedings. pages 21, IEEE Computer Society, 1998. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.