2010

Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction

Editors:

ISBN: 978-1-4419-6399-4 (Print) 978-1-4419-6400-7 (Online)