@inproceedings{weko_91473_1,
   author	 = "小菅,祐史",
   title	 = "Webアプリケーション・セキュリティの自動検証フレームワークAmberateの開発",
   booktitle	 = "第50回プログラミング･シンポジウム予稿集",
   year 	 = "2009",
   volume	 = "2009",
   number	 = "",
   pages	 = "73--80",
   month	 = "jan"
}