@article{weko_16835_1, author = "鵜林尚靖 and 玉井,哲雄", title = "モデル検査によるアスペクト指向プログラミングの検証", journal = "情報処理学会論文誌プログラミング(PRO)", year = "2002", volume = "43", number = "SIG01(PRO13)", pages = "134--134", month = "jan" }