Verifying DAML+OIL and beyond in Z/EVES

Proceedings - International Conference on Software Engineering

Saved in:

Bibliographic Details
Main Authors:	Dong, J.S., Lee, C.H., Li, Y.F., Wang, H.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/40031
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-40031
record_format	dspace
spelling	sg-nus-scholar.10635-400312015-01-20T18:29:47Z Verifying DAML+OIL and beyond in Z/EVES Dong, J.S. Lee, C.H. Li, Y.F. Wang, H. COMPUTER SCIENCE Proceedings - International Conference on Software Engineering 26 201-210 PCSED 2013-07-04T07:55:07Z 2013-07-04T07:55:07Z 2004 Conference Paper Dong, J.S.,Lee, C.H.,Li, Y.F.,Wang, H. (2004). Verifying DAML+OIL and beyond in Z/EVES. Proceedings - International Conference on Software Engineering 26 : 201-210. ScholarBank@NUS Repository. 02705257 http://scholarbank.nus.edu.sg/handle/10635/40031 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
description	Proceedings - International Conference on Software Engineering
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Dong, J.S. Lee, C.H. Li, Y.F. Wang, H.
format	Conference or Workshop Item
author	Dong, J.S. Lee, C.H. Li, Y.F. Wang, H.
spellingShingle	Dong, J.S. Lee, C.H. Li, Y.F. Wang, H. Verifying DAML+OIL and beyond in Z/EVES
author_sort	Dong, J.S.
title	Verifying DAML+OIL and beyond in Z/EVES
title_short	Verifying DAML+OIL and beyond in Z/EVES
title_full	Verifying DAML+OIL and beyond in Z/EVES
title_fullStr	Verifying DAML+OIL and beyond in Z/EVES
title_full_unstemmed	Verifying DAML+OIL and beyond in Z/EVES
title_sort	verifying daml+oil and beyond in z/eves
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/40031
_version_	1681082197885321216

Similar Items