Normal view
MARC view
Hinchey, Michael G(Personal Name)
Machine generated authority record
Work cat.: (OSt)8739: Hinchey, Michael G., Industrial-strength formal methods in practice /, c1999.