ソフトウェア開発法の形式的記述のためのモデルの提案

@inproceedings{1989ID74,
	author = {, 馮安 and , 井上克郎 and , 菊野亨 and , 鳥居宏次},
	booktitle = {電子情報通信学会春季全国大会},
	title = {ソフトウェア開発法の形式的記述のためのモデルの提案},
}