Documents dont l'auteur est "Jahanara, MohammadMahdi"

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

Aller à : 2023

Nombre de documents: 1

2023

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 10 03:40:31 2024 EDT.

Pour citer ou exporter	Atom RSS 1.0 RSS 2.0