Normal view
MARC view
- Dwivedi, Ashish Kumar
Dwivedi, Ashish Kumar 611CS105 (Personal Name)
Machine generated authority record.
Work cat.: (OSt): Dwivedi, Ashish Kumar 611CS105, Formalization and Model Checking of Software Architectural Style, 2014