APA (7th ed.) Citation

Panchuk, B. (2024). Formal verification of deep neural networks. PROBLEMS IN PROGRAMMING.

Chicago Style (17th ed.) Citation

Panchuk, B.O. Formal Verification of Deep Neural Networks. PROBLEMS IN PROGRAMMING, 2024.

MLA (8th ed.) Citation

Panchuk, B.O. Formal Verification of Deep Neural Networks. PROBLEMS IN PROGRAMMING, 2024.

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