Runtime checking for separation logic

10.1007/978-3-540-78163-9_19

Saved in:

Bibliographic Details
Main Authors:	Nguyen, H.H., Kuncak, V., Chin, W.-N.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/41684
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-41684
record_format	dspace
spelling	sg-nus-scholar.10635-416842015-02-28T20:41:31Z Runtime checking for separation logic Nguyen, H.H. Kuncak, V. Chin, W.-N. COMPUTER SCIENCE 10.1007/978-3-540-78163-9_19 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4905 LNCS 203-217 2013-07-04T08:33:17Z 2013-07-04T08:33:17Z 2008 Conference Paper Nguyen, H.H.,Kuncak, V.,Chin, W.-N. (2008). Runtime checking for separation logic. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4905 LNCS : 203-217. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-540-78163-9_19" target="_blank">https://doi.org/10.1007/978-3-540-78163-9_19</a> 3540781625 03029743 http://scholarbank.nus.edu.sg/handle/10635/41684 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
description	10.1007/978-3-540-78163-9_19
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Nguyen, H.H. Kuncak, V. Chin, W.-N.
format	Conference or Workshop Item
author	Nguyen, H.H. Kuncak, V. Chin, W.-N.
spellingShingle	Nguyen, H.H. Kuncak, V. Chin, W.-N. Runtime checking for separation logic
author_sort	Nguyen, H.H.
title	Runtime checking for separation logic
title_short	Runtime checking for separation logic
title_full	Runtime checking for separation logic
title_fullStr	Runtime checking for separation logic
title_full_unstemmed	Runtime checking for separation logic
title_sort	runtime checking for separation logic
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/41684
_version_	1681082484720140288

Runtime checking for separation logic

Similar Items