Documents dont l'auteur est "Gorla, Daniele"

Pour citer ou exporter
Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Aller à : 2024
Nombre de documents: 1

2024

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: Mon Oct 5 21:22:31 2026 EDT.