Search filters

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

Image Image of a generic work. The text above it indicates that there is no free image of the work available, and that if you own one, you can click on the placeholder link to upload it.
Description
Author/s

author: Lucas Cordeiro  João Marques Silva  Bernd Fischer 

Publication date July 2012
Language
Country of origin
Wikipedia link
Copyright status
Missing/wrong data? Edit Wikidata item