Normal view MARC view

Roggenbach, Markus (Personal Name)

Number of records used in: 1

Preferred form: Roggenbach, Markus

Machine generated authority record

Work cat.: (OSt)18162: Roggenbach, Markus, Formal methods for software engineering , 2022