Documents publiés en "2024"

Grouper par: Auteurs ou autrices | Département | Sous-type de document | Aucun groupement

Aller à : A

Nombre de documents: 1

A

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 Dec 20 02:11:56 2024 EST.

PolyPublie est le dépôt institutionnel de Polytechnique Montréal.
Site développé à l'aide du logiciel libre EPrints.

Pour citer ou exporter	Atom RSS 1.0 RSS 2.0