Anmerkungen:
"This volume of proceedings contains the papers presented at the sixth International Workshop on Applied veRification for Continuous and Hybrid systems (ARCH) and the results of the third edition of ARCH-COMP, a competition for the formal verification of continuous and hybrid systems. The workshop was held as part of CPS-IoT Week in Montréal, Canada, on April 15, 2019." - Vorwort
Literaturangaben