Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/3-540-44577-3_11> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 3-540-44577-3_11 doi "10.1007/3-540-44577-3_11".
- 3-540-44577-3_11 first "K. Rustan M.".
- 3-540-44577-3_11 isCitedBy Extended_static_checking.
- 3-540-44577-3_11 journal "Informatics".
- 3-540-44577-3_11 last "Leino".
- 3-540-44577-3_11 pages "157–175".
- 3-540-44577-3_11 title "Extended Static Checking: A Ten-Year Perspective".
- 3-540-44577-3_11 volume "2000".
- 3-540-44577-3_11 year "2001".