Normal view
MARC view
- Namjoshi, Kedar S.
Namjoshi, Kedar S. (Personal Name)
Machine generated authority record.
Work cat.: (BD-SySUS)0: Verification, model checking, and abstract interpretation :, c2006.