Budova FI, Botanická 68a, Budova Fakulty informatiky

Institut teoretické informatiky

adresa:	Botanická 554/68a, 602 00 Brno

telefon:	549 49 1814

Rok publikování

Druh

Počet publikací: 1

Články ve sbornících

Software Verification Witnesses 2.0

AYAZIOVÁ Paulína BEYER Dirk LINGSCH-ROSENFELD Marian SPIESSL Martin STREJČEK Jan

Článek ve sborníku

Model Checking Software - 30th International Symposium, SPIN 2024, rok: 2025