Immutable specifications for more concise and precise verification
10.1145/2076021.2048096
Saved in:
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://scholarbank.nus.edu.sg/handle/10635/42214 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| id |
sg-nus-scholar.10635-42214 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-422142024-11-12T18:27:39Z Immutable specifications for more concise and precise verification David, C. Chin, W.-N. COMPUTER SCIENCE Languages Verification 10.1145/2076021.2048096 ACM SIGPLAN Notices 46 10 359-374 2013-07-04T08:46:13Z 2013-07-04T08:46:13Z 2011 Conference Paper David, C., Chin, W.-N. (2011). Immutable specifications for more concise and precise verification. ACM SIGPLAN Notices 46 (10) : 359-374. ScholarBank@NUS Repository. https://doi.org/10.1145/2076021.2048096 15232867 http://scholarbank.nus.edu.sg/handle/10635/42214 000298294500023 Scopus |
| institution |
National University of Singapore |
| building |
NUS Library |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
NUS Library |
| collection |
ScholarBank@NUS |
| topic |
Languages Verification |
| spellingShingle |
Languages Verification David, C. Chin, W.-N. Immutable specifications for more concise and precise verification |
| description |
10.1145/2076021.2048096 |
| author2 |
COMPUTER SCIENCE |
| author_facet |
COMPUTER SCIENCE David, C. Chin, W.-N. |
| format |
Conference or Workshop Item |
| author |
David, C. Chin, W.-N. |
| author_sort |
David, C. |
| title |
Immutable specifications for more concise and precise verification |
| title_short |
Immutable specifications for more concise and precise verification |
| title_full |
Immutable specifications for more concise and precise verification |
| title_fullStr |
Immutable specifications for more concise and precise verification |
| title_full_unstemmed |
Immutable specifications for more concise and precise verification |
| title_sort |
immutable specifications for more concise and precise verification |
| publishDate |
2013 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/42214 |
| _version_ |
1821183096005853184 |