Normal view
MARC view
Schneider, Gerardo (Personal Name)
Machine generated authority record.
Work cat.: (OSt)3258: Formal Methods and Software Engineering, c2022