A proof method for the correctness of modularized 0CFA
- Publisher
- ELSEVIER SCIENCE BV
- Issue Date
- 2002-02
- Language
- English
- Article Type
- Article
- Citation
INFORMATION PROCESSING LETTERS, v.81, no.4, pp.179 - 185
- ISSN
- 0020-0190
- Appears in Collection
- RIMS Journal Papers
- Files in This Item
- There are no files associated with this item.
This item is cited by other documents in WoS
| ⊙ Detail Information in WoSⓡ | Click to see |  |
| ⊙ Cited 3 items in WoS | Click to see citing articles in |  |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.