Igor Konnov

Список книг автора Igor Konnov

    Decidability of Parameterized Verification

    Igor Konnov