Normal view
MARC view
Namjoshi, Kedar S (Personal Name)
Machine generated authority record.
Work cat.: (OSt)35800: Namjoshi, Kedar S., Automated Technology For Verification And Analysis; Second International Conference, ATVA 2004 Taipei Taiwan ROC October 31-November 3 2004 : proceeding, 2007