| Preview | Issue Date | Title | Author(s) | Preview | Type | Issue Date | Title | Author(s) |
|---|---|---|---|---|---|---|---|---|
| 2013 | Архітектура програмного забезпечення верифікації та автоматизованого тестування методів розв’язування задач математичної фізики | Сердюк, П.; Том’як, О. | Article | 2013 | Архітектура програмного забезпечення верифікації та автоматизованого тестування методів розв’язування задач математичної фізики | Сердюк, П.; Том’як, О. | ||
| 2019 | Засоби автоматизованого тестування спеціалізованого програмного забезпечення вбудованих систем | Федасюк, Дмитро Васильович; Чопей, Ратібор Степанович; Національний університет «Львівська політехніка»; Дивак, Микола Петрович; Мельничин, Андрій Васильвич | Dissertation Abstract | 2019 | Засоби автоматизованого тестування спеціалізованого програмного забезпечення вбудованих систем | Чопей, Ратібор Степанович |