@inproceedings{weko_118727_1,
   author	 = "辻,泰三 and 新井,浩志 and 深澤,良彰 and 門倉,敏夫",
   title	 = "循環の解析による並行プログラムの検証手法",
   booktitle	 = "全国大会講演論文集",
   year 	 = "1990",
   volume	 = "第40回",
   number	 = "ソフトウェア工学",
   pages	 = "1023--1024",
   month	 = "mar"
}