Formal Verification of Functional Properties of an SCR-style Software Requirements Specification using PVS
- Issue Date
- 2002
- Language
- ENG
- Citation
8th International Conference, TACAS 2002
- Appears in Collection
- RIMS Conference Papers
- 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.