Book 2014

Correct-by-Construction Approaches for SoC Design

Authors:

ISBN: 978-1-4614-7863-8 (Print) 978-1-4614-7864-5 (Online)