Formalizing Semantics of XSLT Using Object-Z.

Hong Li Yang, Jin Song Dong, Ke Gang Hao, Jun Gang Han

Browse the full APWEB paper archive.