Synthesis of Embedded Software
Subtitle: Frameworks and Methodologies for Correctness by Construction
Publisher: Springer
Published: Nov 20, 2014
Format: paperback
Number of pages: 281
ISBN-13: 9781489987372
Notes: Source title: Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction