Formal verification of scalable nonzero indicators

Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering, SEKE 2009

Saved in:

Bibliographic Details
Main Authors:	Zhang, S.J., Liu, Y., Sun, J., Dong, J.S., Chen, W., Liu, Y.A.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/40029
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-40029
record_format	dspace
spelling	sg-nus-scholar.10635-400292015-01-19T21:11:25Z Formal verification of scalable nonzero indicators Zhang, S.J. Liu, Y. Sun, J. Dong, J.S. Chen, W. Liu, Y.A. COMPUTER SCIENCE Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering, SEKE 2009 406-411 2013-07-04T07:55:04Z 2013-07-04T07:55:04Z 2009 Conference Paper Zhang, S.J.,Liu, Y.,Sun, J.,Dong, J.S.,Chen, W.,Liu, Y.A. (2009). Formal verification of scalable nonzero indicators. Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering, SEKE 2009 : 406-411. ScholarBank@NUS Repository. 1891706241 http://scholarbank.nus.edu.sg/handle/10635/40029 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
description	Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering, SEKE 2009
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Zhang, S.J. Liu, Y. Sun, J. Dong, J.S. Chen, W. Liu, Y.A.
format	Conference or Workshop Item
author	Zhang, S.J. Liu, Y. Sun, J. Dong, J.S. Chen, W. Liu, Y.A.
spellingShingle	Zhang, S.J. Liu, Y. Sun, J. Dong, J.S. Chen, W. Liu, Y.A. Formal verification of scalable nonzero indicators
author_sort	Zhang, S.J.
title	Formal verification of scalable nonzero indicators
title_short	Formal verification of scalable nonzero indicators
title_full	Formal verification of scalable nonzero indicators
title_fullStr	Formal verification of scalable nonzero indicators
title_full_unstemmed	Formal verification of scalable nonzero indicators
title_sort	formal verification of scalable nonzero indicators
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/40029
_version_	1681082197540339712

Formal verification of scalable nonzero indicators

Similar Items