A modal language for the safety of mobile values
- Title
- A modal language for the safety of mobile values
- Authors
- 박성우
- Date Issued
- 2006-11-09
- Publisher
- APLAS
- URI
- https://oasis.postech.ac.kr/handle/2014.oak/53151
- Article Type
- Conference
- Citation
- The Fourth ASIAN Symposium on Programming Languages and Systems, 2006-11-09
- Files in This Item:
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.