Conference item
Automatic Verification of Pointer Programs Using Grammar−Based Shape Analysis
Actions
Authors
Bibliographic Details
- Publisher:
- Springer−Verlag
- Volume:
- 3444
- Host title:
- Proceedings of the 14th European Symposium on Programming
- ISBN:
- 3540254358
Item Description
- UUID:
-
uuid:719ae595-fae2-4026-88c4-1af66baa1b21
- Local pid:
- cs:4953
- Deposit date:
- 2015-03-31
If you are the owner of this record, you can report an update to it here: Report update to this record