Normal view
MARC view
Rangarajan, K (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): Formal models, languages and applications /, ©2006.