Normal view
MARC view
- Sinha, Roopak
Sinha, Roopak (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Sinha, Roopak. author., Correct-by-Construction Approaches for SoC Design, 2014.