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