Book Chapter

Model Checking Embedded C Software Using k-Induction and Invariants

ROCHA, H. O. ; ISMAIL, H. ; CORDEIRO, L. C. ; BARRETO, R. S. . Model Checking Embedded C Software Using k-Induction and Invariants. Embedded Software Verification and Debugging. 1ed.: , 2017, v. XVI, p. 159-182.

2017

Created by Lattes PostCaptcha Importer at 2018-05-31 17:29:27.0.
Simplified Graph of Associations
Quid