Items where authors include "TOWNSEND, BEV"

Proceedings Paper

Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Calinescu, RADU CONSTANTIN orcid.org/0000-0002-2678-9260, CAVALCANTI, ANA LUCIA CANECA orcid.org/0000-0002-0831-1976 et al. (5 more authors) (2026) The SLEEC Framework for Normative Requirements Engineering. In: Sampaio, Augusto and Stoelinga, Marielle, (eds.) Formal Methods - 27th International Symposium, FM 2026. FM 2026 – 27th International Symposium on Formal Methods, 18-22 May 2026, Japan. Lecture notes in computer science . Springer Nature Switzerland . (In Press)