APA (7th ed.) Citation
(2026). Exploring Concepts of Interactive Theorem Proving. Balkan Journal of Electrical and Computer Engineering.
Chicago Style (17th ed.) Citation
"Exploring Concepts of Interactive Theorem Proving." Balkan Journal of Electrical and Computer Engineering 2026.
MLA (9th ed.) Citation
"Exploring Concepts of Interactive Theorem Proving." Balkan Journal of Electrical and Computer Engineering, 2026.
Warning: These citations may not always be 100% accurate.