Summary of the 6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) co-located with the 39th IEEE/ACM ASE 2024

Marco Autili, Alessio Bucaioni, Gianluca Filippone, Lina Marsso et Gian Luca Scoccia

Article de revue (2025)

Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal

Un lien externe est disponible pour ce document

URL de PolyPublie:	https://publications.polymtl.ca/66922/
Titre de la revue:	ACM SIGSOFT Software Engineering Notes (vol. 50, no 2)
Maison d'édition:	Association for Computing Machinery
DOI:	10.1145/3721890.3721897
URL officielle:	https://doi.org/10.1145/3721890.3721897
Date du dépôt:	29 juil. 2025 11:20
Dernière modification:	29 juil. 2025 11:20

Citer en APA 7:	Autili, M., Bucaioni, A., Filippone, G., Marsso, L., & Luca Scoccia, G. (2025). Summary of the 6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) co-located with the 39th IEEE/ACM ASE 2024. ACM SIGSOFT Software Engineering Notes, 50(2), 20-22. https://doi.org/10.1145/3721890.3721897
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Simple Metadata

Statistiques

Actions réservées au personnel