Normal view
MARC view
O'Leary, John W (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): FMCAD 2002 (2002 : Portland, Or.) 21456, Formal methods in computer-aided design :, ©2002.