Introduction to theme section on requirements formalisation

^*Corresponding author for this work

Research output: Contribution to journal › Editorial › peer-review

Original language	English
Pages (from-to)	1451-1453
Number of pages	3
Journal	Software and Systems Modeling
Volume	23
Issue number	6
DOIs	https://doi.org/10.1007/s10270-024-01241-6
Publication status	Accepted/In press - 2024

Access to Document

@article{f386c93c4c29440bada98593aa913e94,

title = "Introduction to theme section on requirements formalisation",

author = "Kevin Lano and Shekoufeh Rahimi and Sobhan Tehrani and Lola Burgue{\~n}o and Umar, {Mohammad Aminu}",

year = "2024",

doi = "10.1007/s10270-024-01241-6",

language = "English",

volume = "23",

pages = "1451--1453",

journal = "Software and Systems Modeling",

issn = "1619-1366",

publisher = "Springer Verlag",

number = "6",

}

TY - JOUR

T1 - Introduction to theme section on requirements formalisation

AU - Lano, Kevin

AU - Rahimi, Shekoufeh

AU - Tehrani, Sobhan

AU - Burgueño, Lola

AU - Umar, Mohammad Aminu

PY - 2024

Y1 - 2024

UR - http://www.scopus.com/inward/record.url?scp=85208921262&partnerID=8YFLogxK

U2 - 10.1007/s10270-024-01241-6

DO - 10.1007/s10270-024-01241-6

M3 - Editorial

AN - SCOPUS:85208921262

SN - 1619-1366

VL - 23

SP - 1451

EP - 1453

JO - Software and Systems Modeling

JF - Software and Systems Modeling

IS - 6

ER -