Normal view
MARC view
Sinha .Roop.Basu (Personal Name)
Machine generated authority record.
Work cat.: (*Your library's NUC here*): Sinha .Roop.Basu, Correct by Construction Approaches for SoC Design, 2014