Formalizing semantics of XSLT using object-Z

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Saved in:

Bibliographic Details
Main Authors:	Yang, H.L., Dong, J.S., Hao, K.G., Han, J.G.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/38928
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-38928
record_format	dspace
spelling	sg-nus-scholar.10635-389282024-11-08T16:40:45Z Formalizing semantics of XSLT using object-Z Yang, H.L. Dong, J.S. Hao, K.G. Han, J.G. COMPUTER SCIENCE Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2642 120-131 2013-07-04T07:30:05Z 2013-07-04T07:30:05Z 2003 Article Yang, H.L.,Dong, J.S.,Hao, K.G.,Han, J.G. (2003). Formalizing semantics of XSLT using object-Z. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2642 : 120-131. ScholarBank@NUS Repository. 03029743 http://scholarbank.nus.edu.sg/handle/10635/38928 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
description	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Yang, H.L. Dong, J.S. Hao, K.G. Han, J.G.
format	Article
author	Yang, H.L. Dong, J.S. Hao, K.G. Han, J.G.
spellingShingle	Yang, H.L. Dong, J.S. Hao, K.G. Han, J.G. Formalizing semantics of XSLT using object-Z
author_sort	Yang, H.L.
title	Formalizing semantics of XSLT using object-Z
title_short	Formalizing semantics of XSLT using object-Z
title_full	Formalizing semantics of XSLT using object-Z
title_fullStr	Formalizing semantics of XSLT using object-Z
title_full_unstemmed	Formalizing semantics of XSLT using object-Z
title_sort	formalizing semantics of xslt using object-z
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/38928
_version_	1821188868799463424

Formalizing semantics of XSLT using object-Z

Similar Items