Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/s1571-0661(04)80656-x> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- s1571-0661(04)80656-x accessdate "2009-12-18".
- s1571-0661(04)80656-x author2 "David Déharbe".
- s1571-0661(04)80656-x doi "10.1016/S1571-066180656-X".
- s1571-0661(04)80656-x first "Silvio".
- s1571-0661(04)80656-x isCitedBy E_theorem_prover.
- s1571-0661(04)80656-x issue "1".
- s1571-0661(04)80656-x journal "ENTCS".
- s1571-0661(04)80656-x last "Ranise".
- s1571-0661(04)80656-x location "4th International Workshop on First-Order Theorem Proving".
- s1571-0661(04)80656-x pages "109–119".
- s1571-0661(04)80656-x publisher "Elsevier".
- s1571-0661(04)80656-x title "Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs".
- s1571-0661(04)80656-x url "http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B75H1-4DDWKNY-ND&_user=10&_rdoc=1&_fmt=&_orig=search&_sort=d&_docanchor=&view=c&_rerunOrigin=scholar.google&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=7c3d4c7c9b56361f82b30edf963c5443".
- s1571-0661(04)80656-x volume "86".
- s1571-0661(04)80656-x year "2003".