Nick Feng, Lina Marsso
et Marsha Chechik
Communication écrite (2024)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Un lien externe est disponible pour ce document
| ISBN: | 9798400712487 |
|---|---|
| URL de PolyPublie: | https://publications.polymtl.ca/64465/ |
| 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 |
| DOI: | 10.1145/3691620.3695522 |
| URL officielle: | https://doi.org/10.1145/3691620.3695522 |
| Date du dépôt: | 10 avr. 2025 11:17 |
| Dernière modification: | 10 avr. 2025 11:17 |
| 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
Actions réservées au personnel
|
Afficher document |
