Guido L. De Souza

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

Celso 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)
Celso 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)