%0 Conference Paper %1 conf/forte/SantosCS98 %A Santos, Celso A. S. %A Courtiat, Jean-Pierre %A de Saqui-Sannes, Pierre %B FORTE %D 1998 %E Budkowski, Stanislaw %E Cavalli, Ana R. %E Najm, Elie %I Kluwer %K dblp %P 163-178 %T A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. %U http://dblp.uni-trier.de/db/conf/forte/forte1998.html#SantosCS98 %V 135 %@ 0-412-84760-4

@inproceedings{conf/forte/SantosCS98, added-at = {2015-10-19T00:00:00.000+0200}, author = {Santos, Celso A. S. and Courtiat, Jean-Pierre and de Saqui-Sannes, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/2e337b786c58fe01813bef159e0eb0fbf/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1998}, editor = {Budkowski, Stanislaw and Cavalli, Ana R. and Najm, Elie}, interhash = {694acb0c1fa2825383aa8f3a00c4e76c}, intrahash = {e337b786c58fe01813bef159e0eb0fbf}, isbn = {0-412-84760-4}, keywords = {dblp}, pages = {163-178}, publisher = {Kluwer}, series = {IFIP Conference Proceedings}, timestamp = {2015-10-21T11:36:19.000+0200}, title = {A Design Methodology for the Formal Specification and Verification of Hypermedia Documents.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1998.html#SantosCS98}, volume = 135, year = 1998 }