Normal view
MARC view
Sistla, Aravinda Prasad (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): Emerson, E. Allen. 27391, Computer Aided Verification :, 2000.