Nick Feng, Lina Marsso
, Yuliia Kholodetska et Marsha Chechik
Article de revue (2025)
Un lien externe est disponible pour ce document
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| URL de PolyPublie: | https://publications.polymtl.ca/70416/ |
| Titre de la revue: | Formal Methods in System Design (vol. 67, no 3) |
| Maison d'édition: | Springer Science+Business Media |
| DOI: | 10.1007/s10703-025-00483-4 |
| URL officielle: | https://doi.org/10.1007/s10703-025-00483-4 |
| Date du dépôt: | 03 déc. 2025 12:00 |
| Dernière modification: | 03 déc. 2025 12:00 |
| Citer en APA 7: | Feng, N., Marsso, L., Kholodetska, Y., & Chechik, M. (2025). Bounded satisfiability checking of FOL* formulas with aggregations. Formal Methods in System Design, 67(3), 282-315. https://doi.org/10.1007/s10703-025-00483-4 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
