@article{weko_60935_1,
   author	 = "栗田,太郎",
   title	 = "フォーマルメソッドの新潮流 : Part II: 産業界への応用 : 3.携帯電話組込み用モバイルFeliCa ICチップ開発における形式仕様記述手法の適用",
   journal	 = "情報処理",
   year 	 = "2008",
   volume	 = "49",
   number	 = "5",
   pages	 = "506--513",
   month	 = "may"
}