Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/9aca2a64fa789e41415cb97e8f67512bbca7c8dd181600c3f33b1b381c89e4b3> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- 9aca2a64fa789e41415cb97e8f67512bbca7c8dd181600c3f33b1b381c89e4b3 first1 "David L.".
- 9aca2a64fa789e41415cb97e8f67512bbca7c8dd181600c3f33b1b381c89e4b3 first2 "K. Rustan M.".
- 9aca2a64fa789e41415cb97e8f67512bbca7c8dd181600c3f33b1b381c89e4b3 first3 "Greg".
- 9aca2a64fa789e41415cb97e8f67512bbca7c8dd181600c3f33b1b381c89e4b3 first4 "James B.".
- 9aca2a64fa789e41415cb97e8f67512bbca7c8dd181600c3f33b1b381c89e4b3 isCitedBy Extended_static_checking.
- 9aca2a64fa789e41415cb97e8f67512bbca7c8dd181600c3f33b1b381c89e4b3 issue "159".
- 9aca2a64fa789e41415cb97e8f67512bbca7c8dd181600c3f33b1b381c89e4b3 journal "Compaq SRC Research Report".
- 9aca2a64fa789e41415cb97e8f67512bbca7c8dd181600c3f33b1b381c89e4b3 last1 "Detlefs".
- 9aca2a64fa789e41415cb97e8f67512bbca7c8dd181600c3f33b1b381c89e4b3 last2 "Leino".
- 9aca2a64fa789e41415cb97e8f67512bbca7c8dd181600c3f33b1b381c89e4b3 last3 "Nelson".
- 9aca2a64fa789e41415cb97e8f67512bbca7c8dd181600c3f33b1b381c89e4b3 last4 "Saxe".
- 9aca2a64fa789e41415cb97e8f67512bbca7c8dd181600c3f33b1b381c89e4b3 title "Extended Static Checking".
- 9aca2a64fa789e41415cb97e8f67512bbca7c8dd181600c3f33b1b381c89e4b3 year "1998".