Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction by Sandeep K. Shukla

download center

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness

Construction by Sandeep K. Shukla - Synthesis of Embedded Software: Frameworks and Methodologies for Correctness
Enter the sum