Roopak Sinha ; Parthasarathi Roop Samik Basu <br/><br/>
Correct-by-Construction Approaches for SoC Design 

 - New York  Springer  2014 
<br/><br/><label>ISBN: </label>9781461478645 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Instrumentation Engineering: Circuits and Systems: Processor Architectures: Electronics and Microelectronics