Matches in Wikidata for { <http://www.wikidata.org/entity/Q62040552> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- Q62040552 description "2009 nî lūn-bûn" @default.
- Q62040552 description "2009年の論文" @default.
- Q62040552 description "2009年学术文章" @default.
- Q62040552 description "2009年学术文章" @default.
- Q62040552 description "2009年学术文章" @default.
- Q62040552 description "2009年学术文章" @default.
- Q62040552 description "2009年学术文章" @default.
- Q62040552 description "2009年学术文章" @default.
- Q62040552 description "2009年學術文章" @default.
- Q62040552 description "2009年學術文章" @default.
- Q62040552 description "2009年學術文章" @default.
- Q62040552 description "2009年學術文章" @default.
- Q62040552 description "2009年學術文章" @default.
- Q62040552 description "2009년 논문" @default.
- Q62040552 description "article científic" @default.
- Q62040552 description "article scientific" @default.
- Q62040552 description "article scientifique" @default.
- Q62040552 description "articol științific" @default.
- Q62040552 description "articolo scientifico" @default.
- Q62040552 description "artigo científico" @default.
- Q62040552 description "artigo científico" @default.
- Q62040552 description "artigo científico" @default.
- Q62040552 description "artikel ilmiah" @default.
- Q62040552 description "artikull shkencor" @default.
- Q62040552 description "artikulong pang-agham" @default.
- Q62040552 description "artykuł naukowy" @default.
- Q62040552 description "artículo científico publicado en 2009" @default.
- Q62040552 description "artículu científicu" @default.
- Q62040552 description "bilimsel makale" @default.
- Q62040552 description "bài báo khoa học" @default.
- Q62040552 description "naučni članak" @default.
- Q62040552 description "scienca artikolo" @default.
- Q62040552 description "scientific article published in 2009" @default.
- Q62040552 description "scientific article published in 2009" @default.
- Q62040552 description "scientific article published in 2009" @default.
- Q62040552 description "teaduslik artikkel" @default.
- Q62040552 description "tieteellinen artikkeli" @default.
- Q62040552 description "tudományos cikk" @default.
- Q62040552 description "vedecký článok" @default.
- Q62040552 description "vetenskaplig artikel" @default.
- Q62040552 description "videnskabelig artikel" @default.
- Q62040552 description "vitenskapelig artikkel" @default.
- Q62040552 description "vitskapeleg artikkel" @default.
- Q62040552 description "vědecký článek" @default.
- Q62040552 description "wetenschappelijk artikel" @default.
- Q62040552 description "wissenschaftlicher Artikel" @default.
- Q62040552 description "επιστημονικό άρθρο" @default.
- Q62040552 description "мақолаи илмӣ" @default.
- Q62040552 description "наукова стаття, опублікована у 2009" @default.
- Q62040552 description "научна статия" @default.
- Q62040552 description "научная статья" @default.
- Q62040552 description "научни чланак" @default.
- Q62040552 description "научни чланак" @default.
- Q62040552 description "מאמר מדעי" @default.
- Q62040552 description "مقالة علمية نشرت في 2009" @default.
- Q62040552 description "২০০৯-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q62040552 description "บทความทางวิทยาศาสตร์" @default.
- Q62040552 description "სამეცნიერო სტატია" @default.
- Q62040552 name "Automatic Test Generation for Coverage Analysis Using CBMC" @default.
- Q62040552 name "Automatic Test Generation for Coverage Analysis Using CBMC" @default.
- Q62040552 type Item @default.
- Q62040552 label "Automatic Test Generation for Coverage Analysis Using CBMC" @default.
- Q62040552 label "Automatic Test Generation for Coverage Analysis Using CBMC" @default.
- Q62040552 prefLabel "Automatic Test Generation for Coverage Analysis Using CBMC" @default.
- Q62040552 prefLabel "Automatic Test Generation for Coverage Analysis Using CBMC" @default.
- Q62040552 P1433 Q62040552-8FD1445E-7260-47CE-860A-934605F478A7 @default.
- Q62040552 P1476 Q62040552-3C2241D8-24E7-4369-9024-391CFBAC07E4 @default.
- Q62040552 P2093 Q62040552-39ED1DEA-06BC-45AC-80D7-E3002923A0A2 @default.
- Q62040552 P2093 Q62040552-83458CC2-1698-46B6-9422-A2BBF3CADF49 @default.
- Q62040552 P2093 Q62040552-A1BC1AA2-139D-4E84-9EEB-9C2EF9F5928B @default.
- Q62040552 P2093 Q62040552-CB8B3879-4300-4F0B-BF10-11254E463DBB @default.
- Q62040552 P304 Q62040552-8DFAEF5E-AD5C-45A7-845A-4804B208AC3E @default.
- Q62040552 P31 Q62040552-A73A308A-86F6-4EB1-82CB-491A2F05C697 @default.
- Q62040552 P356 Q62040552-123F5A62-14B8-48A8-A784-BD77545D64EF @default.
- Q62040552 P407 Q62040552-8758EE95-0564-4B78-A9D7-E1DCD5CDA25E @default.
- Q62040552 P50 Q62040552-95910455-B7A1-46E3-9388-A8C3CCCD04CA @default.
- Q62040552 P577 Q62040552-4E085252-506A-477C-AD11-577C834D8E6C @default.
- Q62040552 P8978 Q62040552-C6B9747C-8610-41E2-9006-5B1231F7C44F @default.
- Q62040552 P921 Q62040552-90665DAA-BD87-483F-9CFF-A54569509563 @default.
- Q62040552 P356 978-3-642-04772-5_38 @default.
- Q62040552 P8978 AngelettiGNPS09 @default.
- Q62040552 P1433 Q924044 @default.
- Q62040552 P1476 "Automatic Test Generation for Coverage Analysis Using CBMC" @default.
- Q62040552 P2093 "Alessandra Puddu" @default.
- Q62040552 P2093 "Damiano Angeletti" @default.
- Q62040552 P2093 "Enrico Giunchiglia" @default.
- Q62040552 P2093 "Salvatore Sabina" @default.
- Q62040552 P304 "287-294" @default.
- Q62040552 P31 Q13442814 @default.
- Q62040552 P356 "10.1007/978-3-642-04772-5_38" @default.
- Q62040552 P407 Q1860 @default.
- Q62040552 P50 Q62036602 @default.
- Q62040552 P577 "2009-01-01T00:00:00Z" @default.
- Q62040552 P8978 "conf/eurocast/AngelettiGNPS09" @default.
- Q62040552 P921 Q184199 @default.