問題・戦略記述言語と, それに基づく定理, プログラムの検証・解析システムの研究

• Project/Area Number: 58780025
• Research Category: Grant-in-Aid for Encouragement of Young Scientists (A)
• Allocation Type: Single-year Grants
• Research Field: Informatics
• Research Institution: The University of Tokyo
• Principal Investigator: 中原 早生 東京大学, 理学部, 助手
• Project Period (FY): 1983
• Project Status: Completed (Fiscal Year 1983)
• Budget Amount: ¥800,000 (Direct Cost: ¥800,000); Fiscal Year 1983: ¥800,000 (Direct Cost: ¥800,000)