Immutable specifications for more concise and precise verification
10.1145/2048066.2048096
Saved in:
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://scholarbank.nus.edu.sg/handle/10635/42215 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| id |
sg-nus-scholar.10635-42215 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-422152015-01-10T18:04:25Z Immutable specifications for more concise and precise verification David, C. Chin, W.-N. COMPUTER SCIENCE Languages Verification 10.1145/2048066.2048096 Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 359-374 2013-07-04T08:46:14Z 2013-07-04T08:46:14Z 2011 Conference Paper David, C.,Chin, W.-N. (2011). Immutable specifications for more concise and precise verification. Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA : 359-374. ScholarBank@NUS Repository. <a href="https://doi.org/10.1145/2048066.2048096" target="_blank">https://doi.org/10.1145/2048066.2048096</a> 9781450309400 http://scholarbank.nus.edu.sg/handle/10635/42215 NOT_IN_WOS Scopus |
| institution |
National University of Singapore |
| building |
NUS Library |
| country |
Singapore |
| 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/2048066.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/42215 |
| _version_ |
1681082578412503040 |