著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Patrick O’Neil Meredith and Dongyun Jin and Dennis Griffith and Feng Chen and Grigore Roşu,An overview of the MOP runtime verification framework,International Journal on Software Tools for Technology Transfer,1433-2779,Springer Science and Business Media LLC,2011-04-23,14,3,249-289,https://cir.nii.ac.jp/crid/1361699993660820992,https://doi.org/10.1007/s10009-011-0198-6