Normal view
MARC view
- Singh, Neeraj Kumar
Singh, Neeraj Kumar (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Singh, Neeraj Kumar. author., Using Event-B for Critical Device Software Systems, 2013.