@techreport{oai:ipsj.ixsq.nii.ac.jp:00094192, author = {松野, 裕 and Yutaka, Matsuno}, issue = {12}, month = {Jul}, note = {2013 年 5 月に IEEE ICSE と併催された国際ワークショップ ASSURE2013 (International Workshop on Assurance Cases for Software-intensive Systems) の報告を行う., We report ASSURE 2013(International Workshop on Assurance Cases for Software-intensive Systems), held with IEEE ICSE in May 2013.}, title = {ASSURE2013参加報告}, year = {2013} }