APA (7th ed.) Citation

Nagibin, D., Petrenko, A., Davydenko, V., Kotenko, I., & Fedorchenko, E. (2025). Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах. Informatika i avtomatizaciâ (Online), 24(2), 526-555. https://doi.org/10.15622/ia.24.2.6

Chicago Style (17th ed.) Citation

Nagibin, Dmitry, Alexey Petrenko, Vladislav Davydenko, Igor Kotenko, and Elena Fedorchenko. "Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах." Informatika I Avtomatizaciâ (Online) 24, no. 2 (2025): 526-555. https://doi.org/10.15622/ia.24.2.6.

MLA (9th ed.) Citation

Nagibin, Dmitry, et al. "Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах." Informatika I Avtomatizaciâ (Online), vol. 24, no. 2, 2025, pp. 526-555, https://doi.org/10.15622/ia.24.2.6.