@inproceedings{武藤祐子2011a,
  author = {武藤 祐子 and 岡野 浩三 and 楠本 真二},
  title = {JML によって記述された契約に対する品質評価手法の提案},
  booktitle = {情報処理学会関西支部支部大会},
  year = {2011},
  month = {sep}
}