A Design Methodology for the Formal Specification and Verification of Hypermedia Documents.

Celso A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes

Browse the full FORTE paper archive.