Normal view
MARC view
Loeckk Jacques Ed(Personal Name)
Machine generated authority record.
Work cat.: (OSt)812011: Loeckk Jacques Ed., Foundations of program verification, 1984