CHESS Industrial Day 2023
KYPO, Faculty of Informatics, Masaryk University Botanická 68a, BrnoThe aim of CHESS Industrial Day 2023 is to bring together researchers and practitioners in formal methods from industry and academia. The event provides an informal platform for exchanging practical… Read More »CHESS Industrial Day 2023