- Publisher:
- Springer−Verlag
- Volume:
- 2142
- Publication date:
- 2001-09-01
- URN:
-
uuid:f5c0e33c-6b0f-4d01-97f0-bc2430649b06
- Local pid:
- cs:4941
- ISBN:
- 3-540-42554-3
- Copyright date:
- 2001
Conference item
Local Reasoning about Programs that Alter Data Structures
Actions
Authors
Bibliographic Details
Terms of use
If you are the owner of this record, you can report an update to it here: Report update to this record