<  Back to the Polytechnique Montréal portal

Items where Author is "Aceto, Luca"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Publication Date | Document subtype | No Grouping
Jump to: Paper
Number of items: 1.

Paper

Aceto, L., Gorla, D., Lybech, S., & Hamdaqa, M. (2024, October). Preventing Out-of-Gas Exceptions by Typing [Paper]. 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024), Crete, Greece. External link

List generated on: Wed Jan 22 12:07:29 2025 EST