Thesis
Local Reasoning for Stateful Programs
Actions
Authors
Bibliographic Details
- Publication date:
- 2001
Item Description
- UUID:
-
uuid:3ab95b89-b4ac-4572-8cfd-d95c9f2af91c
- Local pid:
- cs:4942
- Deposit date:
- 2015-03-31
Terms of use
- Copyright holder:
- Yang, H
- Copyright date:
- 2001
If you are the owner of this record, you can report an update to it here: Report update to this record