| 1998 | ||
|---|---|---|
| 2 | C. A. S. Santos, Luiz Fernando Gomes Soares, Guido L. De Souza, Jean-Pierre Courtiat: Design Methodology and Formal Validation of Hypermedia Documents. ACM Multimedia 1998: 39-48 | |
| 1 | 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. MMM 1998: 21- | |
| 1 | Jean-Pierre Courtiat | [1] [2] |
| 2 | Celso Alberto Saibel Santos (C. A. S. Santos) | [1] [2] |
| 3 | Luiz Fernando Gomes Soares | [1] [2] |