APA (7th ed.) Citation

Panchuk, B. (2024). Formal verification of deep neural networks. PROBLEMS IN PROGRAMMING. https://doi.org/10.15407/pp2024.02-03.253

Chicago Style (17th ed.) Citation

Panchuk, B.O. Formal Verification of Deep Neural Networks. PROBLEMS IN PROGRAMMING, 2024. https://doi.org/10.15407/pp2024.02-03.253.

MLA (8th ed.) Citation

Panchuk, B.O. Formal Verification of Deep Neural Networks. PROBLEMS IN PROGRAMMING, 2024. https://doi.org/10.15407/pp2024.02-03.253.

Warning: These citations may not always be 100% accurate.