Research Article
Combination of Model Checking and Theorem Proving to Develop and Verify Embedded Software
Citation to this article as recorded by
ASCI
. : -.
Services
E-mail This Article
Related Articles in ASCI
Similar Articles in this Journal
Search in Google Scholar
View Citation
Report Citation
© 2013 Science Alert. All Rights Reserved
