ARCH-COMP 2020 Category Report: Falsification

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donze, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

Journal title: EPiC Series in Computing volume 74

Journal publisher: EasyChair

Published year: 2020

Published pages: 140-126

DOI identifier: 10.29007/trr1

ISSN: 2398-7340