Normal view
MARC view
Namjoshi, Kedar S (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): ATVA (Symposium) (5th : 2007 : Tokyo, Japan) 23854, Automated technology for verification and analysis :, ©2007.