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

@inproceedings{Santos1998ADM,
  title={A Design Methodology for the Formal Specification and Verification of Hypermedia Documents},
  author={Celso A. S. Santos and Jean-Pierre Courtiat and Pierre de Saqui-Sannes},
  booktitle={FORTE},
  year={1998}
}