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