Conference item
Local Reasoning about Programs that Alter Data Structures
Actions
Authors
Bibliographic Details
- Publisher:
- Springer−Verlag
- Volume:
- 2142
- Host title:
- Proceedings of 15th Annual Conference of the European Association for Computer Science Logic
- Publication date:
- 2001-09-01
- ISBN:
- 3540425543
Item Description
- UUID:
-
uuid:f5c0e33c-6b0f-4d01-97f0-bc2430649b06
- Local pid:
- cs:4941
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 2001
If you are the owner of this record, you can report an update to it here: Report update to this record