From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).

Sebastian Altmeyer Étienne André Silvano Dal-Zilio Loïc Fejoz Michael González Harbour Susanne Graf J. Javier Gutiérrez Rafik Henia Didier Le Botlan Giuseppe Lipari Julio L. Medina Nicolas Navet Sophie Quinton Juan Maria Rivas Youcheng Sun

Published in: Dagstuhl Artifacts Ser. (2023)

Keyphrases