<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Soureshjani, Fatemeh Heidari"

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Aller à : S
Nombre de documents: 1

S

Soureshjani, F. H., Hall-Andersen, M., Jahanara, M.M., Kam, J., Gorzny, J., & Ahmadvand, M. (juillet 2023). Automated Analysis of Halo2 Circuits [Communication écrite]. 21st International Workshop on Satisfiability Modulo Theories (SMT 2023), Rome, Italy. Lien externe

Liste produite: Thu Dec 26 03:39:17 2024 EST.