A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. Santos, C. A. S., Courtiat, J., & Saqui-Sannes, P. d. In Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), of FORTE XI / PSTV XVIII '98, pages 163–178, Deventer, The Netherlands, The Netherlands, 1998. Kluwer, B.V.. 00008
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents [link]Paper  bibtex   
@inproceedings{santos_design_1998-1,
	address = {Deventer, The Netherlands, The Netherlands},
	series = {{FORTE} {XI} / {PSTV} {XVIII} '98},
	title = {A {Design} {Methodology} for the {Formal} {Specification} and {Verification} of {Hypermedia} {Documents}},
	isbn = {978-0-412-84760-8},
	url = {http://dl.acm.org/citation.cfm?id=646216.681846},
	urldate = {2017-01-24},
	booktitle = {Proceedings of the {FIP} {TC6} {WG6}.1 {Joint} {International} {Conference} on {Formal} {Description} {Techniques} for {Distributed} {Systems} and {Communication} {Protocols} ({FORTE} {XI}) and {Protocol} {Specification}, {Testing} and {Verification} ({PSTV} {XVIII})},
	publisher = {Kluwer, B.V.},
	author = {Santos, C. A. S. and Courtiat, Jean-Pierre and Saqui-Sannes, Pierre de},
	year = {1998},
	note = {00008},
	pages = {163--178}
}

Downloads: 0