XPath Formal Semantics and Beyond: A Coq-Based Approach . Genevès, P. & Vion-Dury, J. In TPHOLs '04: Emerging Trends Proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics, pages 181-198, Salt Lake City, Utah, United States, August, 2004. University Of Utah.
bibtex   
@inproceedings{geneves-tphols04,
AUTHOR = {Pierre Genev\`es and Jean-Yves Vion-Dury},
TITLE = {{XPath} Formal Semantics and Beyond: A {Coq}-Based Approach },
BOOKTITLE = {TPHOLs '04: Emerging Trends Proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics},
MONTH = {August},
pages     = {181-198},
location = {Park City, Utah, United States},
publisher = {University Of Utah},
address = {Salt Lake City, Utah, United States},
YEAR = {2004}	
}
Downloads: 0