解析的意味論による並行プログラムの検証に関する研究

Research Project

Project/Area Number	01750315
Research Category	Grant-in-Aid for Encouragement of Young Scientists (A)
Allocation Type	Single-year Grants
Research Field	計算機工学
Research Institution	Saitama Junior College
Principal Investigator	水谷哲也埼玉短大, 助教授
Project Period (FY)	1989
Project Status	Completed (Fiscal Year 1989)
Budget Amount *help	¥800,000 (Direct Cost: ¥800,000) Fiscal Year 1989: ¥800,000 (Direct Cost: ¥800,000)