Documents publiés en "2023"

Grouper par: Auteurs ou autrices | Département | 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: Fri Dec 20 02:22:14 2024 EST.

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