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

Browse the full MMM paper archive.