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 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: | 9798400702174 |
|---|---|
| URL de PolyPublie: | https://publications.polymtl.ca/64466/ |
| 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 |
| DOI: | 10.1145/3597503.3639093 |
| URL officielle: | https://dl.acm.org/doi/10.1145/3597503.3639093 |
| 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., 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
Actions réservées au personnel
|
Afficher document |
