Výpis publikací

ROČKAI, Petr; Henrich LAUKO; Vladimír ŠTILL; Zuzana BARANOVÁ; Lukáš KORENČIK; Adam MATOUŠEK; Jiří BARNAT; Jakub ŠÁRNÍK; Jan MRÁZEK; Katarína KEJSTOVÁ a Tadeáš KUČERA. DIVINE 4.4. 2021.

BARANOVÁ, Zuzana; Jiří BARNAT; Katarína KEJSTOVÁ; Tadeáš KUČERA; Henrich LAUKO; Jan MRÁZEK; Petr ROČKAI a Vladimír ŠTILL. Model Checking of C and C++ with DIVINE 4. In Deepak D'Souza, K. Narayan Kumar. Automated Technology for Verification and Analysis. Cham: Springer International Publishing, 2017, s. 201-207. ISBN 978-3-319-68166-5. Dostupné z: https://doi.org/10.1007/978-3-319-68167-2_14.