Normal view
MARC view
Schmitt, P. H. (Peter H.), 1948- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): Verification of object-oriented software :, ©2007.