Applying Multiple Program Graphs to Modify Specifications

Publication Information

Title

Japanese:
English:	Applying Multiple Program Graphs to Modify Specifications

Author

Japanese:	中西貴大, 佐伯元司.
English:	Takahiro Nakanishi, Motoshi Saeki.

Language

English

Journal/Book name

Japanese:	電子情報通信学会論文誌
English:	IEICE Transactions on Information and Systems

Volume, Number, Page

Vol. E83-D No. 4 pp. 669-678

Published date

Apr. 2000

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English: