![]() | ![]() |
1998 | ||
---|---|---|
2 | EE | 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 | EE | 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] |