@inproceedings{weko_151442_1,
   author	 = "鈴木,大輝 and 小林,秀幸 and 岡本,圭史 and 高橋,薫",
   title	 = "B-023 RBACモデルの形式検証(電子文書・ソフトウェア科学,B分野:ソフトウェア)",
   booktitle	 = "情報科学技術フォーラム講演論文集",
   year 	 = "2012",
   volume	 = "11",
   number	 = "1",
   pages	 = "221--222",
   month	 = "sep"
}