Search by Bookstore
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- Title Transcription
- Research on Rigorous Verification Techniques for Formal Specification and Design
- Author/Editor
- 劉, 少英 (Liu, Shaoying) , 法政大学
- Author Heading
- 劉, 少英 (Liu, Shaoying) リュウ, ショウエイ (Liu, Shaoying)
- Publication Date
- 1999-2001
- Publication Date (W3CDTF)
- 1999
- Extent
- 冊
- Additional Title
- 研究種目 基盤研究(C)