TECHNIQUE DE VÉRIFICATION EN TEMPS RÉEL DE CIRCUITS ARITHMÉTIQUES SANS MÉMOIRE BASÉS SUR LES MATHÉMATIQUES VÉDIQUES. REVUE ROUMAINE DES SCIENCES TECHNIQUES — SÉRIE ÉLECTROTECHNIQUE ET ÉNERGÉTIQUE, [S. l.], v. 70, n. 4, p. 519–524, 2025. DOI: 10.59277/RRST-EE.2025.4.15. Disponível em: https://journal.iem.pub.ro/rrst-ee/article/view/1253. Acesso em: 26 janv. 2026.