Scalable and Optimized Hybrid Verification of Embedded Software
Book chapter (April 2017)
The most recent citing publications are shown below. View all 18 publications that cite this research output on Dimensions.
Book chapter (April 2017)
Book chapter (January 2016)
Conference proceeding (August 2015)