« 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 70, no. 4 (novembre 17, 2025): 519–524. Consulté le mai 1, 2026. https://journal.iem.pub.ro/rrst-ee/article/view/1253.