@article{weko_5938_1,
   author	 = "丸山,文宏 and 上原,貴夫",
   title	 = "論理装置CADの最近の動向：2. 方式・機能・論理設計におけるCAD：2.5 方式・機能・論理設計の検証",
   journal	 = "情報処理",
   year 	 = "1984",
   volume	 = "25",
   number	 = "10",
   month	 = "oct"
}