Contents of Report

[Data of Report]

Report Number:

TM0167

Date of Registration:

1986.04

English Title:

***

Japanese Title:

構成的証明に基づくプログラム　検証・変換・合成システム

English Author:

Y.Takayama,K.Sakai,T.Yokoi

Japanese:

高山　幸秀,坂井　公,横井　俊夫

Name of Organization to which author belongs:

***

PDF:

tm0167.pdf

[Contents]

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda