Panchuk, B. (2024). Formal verification of deep neural networks. PROBLEMS IN PROGRAMMING.
Чикаго стиль цитування (17-те видання)Panchuk, B.O. Formal Verification of Deep Neural Networks. PROBLEMS IN PROGRAMMING, 2024.
Стиль цитування MLA (8-ме видання)Panchuk, B.O. Formal Verification of Deep Neural Networks. PROBLEMS IN PROGRAMMING, 2024.
Попередження: стилі цитування не завжди правильні на всі 100%.