Normal view
MARC view
Roggenbach, Markus (Personal Name)
Machine generated authority record.
Work cat.: (NLI)1582622: Roggenbach, Markus. author. (orcid)0000-0002-3819-2787 https://orcid.org/0000-0002-3819-2787, Formal Methods for Software Engineering
