Normal view
MARC view
- Kurt, Sieber
Kurt, Sieber(Personal Name)
Machine generated authority record
Work cat.: (OSt): Loeckx, Jacques 26595, The foundations of program verification /, 1987