@mastersthesis{selgraduation160,
    author = {石田 直人},
    title = {宇宙機搭載ソフトウェアの安全性検査を目的としたデータフロー検査支援ツールの開発},
    school = {The University of Osaka},
    address = {Osaka, Japan},
    year = 2018,
    month = feb,
    type = {Graduation Thesis},
}