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

Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement

Nombre de documents: 1

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: Fri May 17 03:35:39 2024 EDT.

PolyPublie est le dépôt institutionnel de Polytechnique Montréal.
Site développé à l'aide du logiciel libre EPrints.

Pour citer ou exporter	Atom RSS 1.0 RSS 2.0