Nick Feng, Lina Marsso
, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victoria Oldemburgo De Mello, Beverley Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaina Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, 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:
9798400702174
Adresse URL de PolyPublie:
Nom de la conférence:
46th IEEE/ACM International Conference on Software Engineering (ICSE 2024)
Lieu de la conférence:
Lisbon, Portugal
Date(s) de la conférence:
2024-04-14 - 2024-04-20
URL officielle:
OAI:
oai:publications.polymtl.ca:64466
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., Getir Yaman, S., Baatartogtokh, Y., Ayad, R., De Mello, V. O., Townsend, B., Standen, I., Stefanakos, I., Imrie, C., Rodrigues, G. N., Cavalcanti, A., Calinescu, R., & Chechik, M. (avril 2024). Analyzing and Debugging Normative Requirements via Satisfiability Checking [Communication écrite]. 46th IEEE/ACM International Conference on Software Engineering (ICSE 2024), Lisbon, Portugal (12 pages). https://dl.acm.org/doi/10.1145/3597503.3639093
Statistiques
Dimensions
