Documents publiés en "2025"

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. Lien externe

Kolyakov, K., Marsso, L., Feng, N., Quan, J., & Chećhik, M. (avril 2025). LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements [Communication écrite]. 47th IEEE/ACM International Conference on Software Engineering: Companion Proceedings (ICSE-Companion 2025), Ottawa, ON, Canada. Lien externe