Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa
Communication écrite (2024)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
ISBN:
9783031737091
Adresse URL de PolyPublie:
Nom de la conférence:
12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024)
Lieu de la conférence:
Crete, Greece
Date(s) de la conférence:
2024-10-27 - 2024-10-31
Maison d'édition:
Springer
URL officielle:
OAI:
oai:publications.polymtl.ca:60248
ORCID
Date du dépôt:
25 nov. 2024 15:14
Dernière modification:
03 oct. 2026 00:01
Citer en APA 7:
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. https://doi.org/10.1007/978-3-031-73709-1_25
Statistiques
Dimensions
