Context

Context of Correct-by-Construction Approaches for SoC Design, by Roopak Sinha, Parthasarathi Roop, Samik Basu, (electronic resource)
Processing Feedback ...