Guido L. De Souza

According to our database, Guido L. De Souza authored at least 2 papers in 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1998

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

Celso A. S. Santos, Jean-Pierre Courtiat, Luiz Fernando Gomes Soares, Guido L. De Souza

Proceedings of the 1998 MultiMedia Modeling (MMM '98), 1998

Design Methodology and Formal Validation of Hypermedia Documents.

Celso A. S. Santos, Luiz Fernando Gomes Soares, Guido L. De Souza, Jean-Pierre Courtiat

Proceedings of the 6th ACM International Conference on Multimedia '98, 1998