Igor Konnov

Decidability of Parameterized Verification

Подробнее