Hong Li Yang, Jin Song Dong, Ke Gang Hao, Jun Gang Han. Formalizing Semantics of XSLT Using Object-Z. In Xiaofang Zhou, Yanchun Zhang, Maria E. Orlowska, editors, Web Technologies and Applications, 5th Asian-Pacific Web Conference, APWeb 2003, Xian, China, April 23-25, 2002, Proceedings. Volume 2642 of Lecture Notes in Computer Science, pages 120-131, Springer, 2003. [doi]
@inproceedings{YangDHH03,
title = {Formalizing Semantics of XSLT Using Object-Z},
author = {Hong Li Yang and Jin Song Dong and Ke Gang Hao and Jun Gang Han},
year = {2003},
url = {http://link.springer.de/link/service/series/0558/bibs/2642/26420120.htm},
tags = {semantics, XSLT, meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/YangDHH03},
cites = {0},
citedby = {0},
pages = {120-131},
booktitle = {Web Technologies and Applications, 5th Asian-Pacific Web Conference, APWeb 2003, Xian, China, April 23-25, 2002, Proceedings},
editor = {Xiaofang Zhou and Yanchun Zhang and Maria E. Orlowska},
volume = {2642},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-02354-2},
}