First-order logic characterization of program properties

10.1109/69.298170

Saved in:

Bibliographic Details
Main Authors:	Wang, Ke, Yuan, Li Yan
Other Authors:	INFORMATION SYSTEMS & COMPUTER SCIENCE
Format:	Article
Published:	2014
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/99294
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-99294
record_format	dspace
spelling	sg-nus-scholar.10635-992942024-11-13T21:00:03Z First-order logic characterization of program properties Wang, Ke Yuan, Li Yan INFORMATION SYSTEMS & COMPUTER SCIENCE 10.1109/69.298170 IEEE Transactions on Knowledge and Data Engineering 6 4 518-533 ITKEE 2014-10-27T06:02:38Z 2014-10-27T06:02:38Z 1994-08 Article Wang, Ke,Yuan, Li Yan (1994-08). First-order logic characterization of program properties. IEEE Transactions on Knowledge and Data Engineering 6 (4) : 518-533. ScholarBank@NUS Repository. <a href="https://doi.org/10.1109/69.298170" target="_blank">https://doi.org/10.1109/69.298170</a> 10414347 http://scholarbank.nus.edu.sg/handle/10635/99294 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	10.1109/69.298170
author2	INFORMATION SYSTEMS & COMPUTER SCIENCE
author_facet	INFORMATION SYSTEMS & COMPUTER SCIENCE Wang, Ke Yuan, Li Yan
format	Article
author	Wang, Ke Yuan, Li Yan
spellingShingle	Wang, Ke Yuan, Li Yan First-order logic characterization of program properties
author_sort	Wang, Ke
title	First-order logic characterization of program properties
title_short	First-order logic characterization of program properties
title_full	First-order logic characterization of program properties
title_fullStr	First-order logic characterization of program properties
title_full_unstemmed	First-order logic characterization of program properties
title_sort	first-order logic characterization of program properties
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/99294
_version_	1821193738826809344

First-order logic characterization of program properties

Similar Items