Normal view
MARC view
Hußmann, Heinrich (Nombre personal)
Machine generated authority record
Work cat.: ()842706: Hußmann, Heinrich, Formal foundations for software engineering methods, c1997