Documents dont l'auteur est "Gorla, Daniele"

Pour citer ou exporter
Nombre de documents: 1

Auteur ou autrice

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: Fri Oct 16 13:03:23 2026 EDT.