Nick Feng, Lina Marsso
, Marsha Chechik
Communication écrite (2024)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
ISBN:
9798400712487
Adresse URL de PolyPublie:
Nom de la conférence:
9th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024)
Lieu de la conférence:
Sacramento, California, USA
Date(s) de la conférence:
2024-10-27 - 2024-11-01
URL officielle:
OAI:
oai:publications.polymtl.ca:64465
ORCID
Date du dépôt:
10 avr. 2025 11:17
Dernière modification:
14 oct. 2026 14:25
Citer en APA 7:
Feng, N., Marsso, L., & Chechik, M. (octobre 2024). Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects [Communication écrite]. 9th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), Sacramento, California, USA. https://doi.org/10.1145/3691620.3695522
Statistiques
Dimensions
