Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
by
ISBN 13: 9781441963994
Format: Hardcover (315 pages) Publisher: Springer Published: 17 Sep 2010
Save for later