TY  - GEN
AU  - Markus Roggenbach, Antonio cerone
TI  - Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
SN  - 9783030388027
PY  - 2023///
PB  - Springer Nature
ER  -