<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Aceto, Luca"

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
Nombre de documents: 1

Communication écrite

Aceto, L., Gorla, D., Lybech, S., & Hamdaqa, M. (octobre 2024). Preventing Out-of-Gas Exceptions by Typing [Communication écrite]. 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024), Crete, Greece. Lien externe

Liste produite: Sat Dec 21 05:16:40 2024 EST.