Matches in DBpedia 2016-04 for { <http://www.kroening.com/papers/tcad-sw-2008.pdf> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- tcad-sw-2008.pdf accessdate "2015-05-11".
- tcad-sw-2008.pdf author "Vijay D’Silva".
- tcad-sw-2008.pdf date "2008".
- tcad-sw-2008.pdf displayAuthors "etal".
- tcad-sw-2008.pdf isCitedBy Static_program_analysis.
- tcad-sw-2008.pdf publisher "Transactions On CAD".
- tcad-sw-2008.pdf title "A Survey of Automated Techniques for Formal Software Verification".
- tcad-sw-2008.pdf url tcad-sw-2008.pdf.