APA (7th ed.) Citation

Ishchenko, A., & Anureev, I. (2026). Partial Automation of Verification Condition Proving for Reflex Programs. 2026 IEEE 27th International Conference of Young Professionals in Electron Devices and Materials (EDM), Young Professionals in Electron Devices and Materials (EDM), 2026 IEEE 27th International Conference of, 1. https://doi.org/10.1109/EDM69524.2026.11632037

Chicago Style (17th ed.) Citation

Ishchenko, Artyom, and Igor Anureev. "Partial Automation of Verification Condition Proving for Reflex Programs." 2026 IEEE 27th International Conference of Young Professionals in Electron Devices and Materials (EDM), Young Professionals in Electron Devices and Materials (EDM), 2026 IEEE 27th International Conference of 2026: 1. https://doi.org/10.1109/EDM69524.2026.11632037.

MLA (9th ed.) Citation

Ishchenko, Artyom, and Igor Anureev. "Partial Automation of Verification Condition Proving for Reflex Programs." 2026 IEEE 27th International Conference of Young Professionals in Electron Devices and Materials (EDM), Young Professionals in Electron Devices and Materials (EDM), 2026 IEEE 27th International Conference of, 2026, p. 1, https://doi.org/10.1109/EDM69524.2026.11632037.