![]() | Monter d'un niveau |
Ribeiro, P., Calinescu, R., Cavalcanti, A., Chechik, M., Getir Yaman, S., Marsso, L., Standen, I., & Townsend, B. (mai 2026). The SLEEC Framework for Normative Requirements Engineering [Communication écrite]. 27th International Symposium on Formal Methods (FM 2026), Tokyo, Japan. Publié dans Lecture notes in computer science. Lien externe