著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Gidon Ernst and Paolo Arcaini and Ismail Bennani and Alexandre Donze and Georgios Fainekos and Goran Frehse and Logan Mathesen and Claudio Menghi and Giulia Pedrielli and Marc Pouzet and Shakiba Yaghoubi and Yoriyuki Yamagata and Zhenya Zhang,ARCH-COMP 2020 Category Report: Falsification,EPiC Series in Computing,2398-7340,EasyChair,,,,,https://cir.nii.ac.jp/crid/1360572092668199424,https://doi.org/10.29007/trr1