Перегляд зібрання за групою - Автори Shkilniak, Stepan
Результати 1 до 1 із 1
Дата випуску | Назва | Автор(и) |
---|---|---|
2018 | Satisfiability Problems in Quasiary Program Logics | Nikitchenko, Mykola; Shkilniak, Stepan; Tymofieiev, Valentyn |
Дата випуску | Назва | Автор(и) |
---|---|---|
2018 | Satisfiability Problems in Quasiary Program Logics | Nikitchenko, Mykola; Shkilniak, Stepan; Tymofieiev, Valentyn |