Matches in Wikidata for { <http://www.wikidata.org/entity/Q123359931> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- Q123359931 description "2007 nî lūn-bûn" @default.
- Q123359931 description "2007年の論文" @default.
- Q123359931 description "2007年学术文章" @default.
- Q123359931 description "2007年学术文章" @default.
- Q123359931 description "2007年学术文章" @default.
- Q123359931 description "2007年學術文章" @default.
- Q123359931 description "2007年學術文章" @default.
- Q123359931 description "2007년 논문" @default.
- Q123359931 description "article científic" @default.
- Q123359931 description "article scientific" @default.
- Q123359931 description "article scientifique" @default.
- Q123359931 description "articol științific" @default.
- Q123359931 description "articolo scientifico" @default.
- Q123359931 description "artigo científico" @default.
- Q123359931 description "artigo científico" @default.
- Q123359931 description "artigo científico" @default.
- Q123359931 description "artikel ilmiah" @default.
- Q123359931 description "artikull shkencor" @default.
- Q123359931 description "artikulong pang-agham" @default.
- Q123359931 description "artykuł naukowy" @default.
- Q123359931 description "artículo científico publicado en 2007" @default.
- Q123359931 description "artículu científicu" @default.
- Q123359931 description "bilimsel makale" @default.
- Q123359931 description "bài báo khoa học" @default.
- Q123359931 description "naučni članak" @default.
- Q123359931 description "scienca artikolo" @default.
- Q123359931 description "scientific article published in 2007" @default.
- Q123359931 description "teaduslik artikkel" @default.
- Q123359931 description "tieteellinen artikkeli" @default.
- Q123359931 description "tudományos cikk" @default.
- Q123359931 description "vedecký článok" @default.
- Q123359931 description "vetenskaplig artikel" @default.
- Q123359931 description "videnskabelig artikel udgivet juli 2007" @default.
- Q123359931 description "vitenskapelig artikkel" @default.
- Q123359931 description "vitskapeleg artikkel" @default.
- Q123359931 description "vědecký článek" @default.
- Q123359931 description "wetenschappelijk artikel" @default.
- Q123359931 description "wissenschaftlicher Artikel" @default.
- Q123359931 description "znanstveni članek" @default.
- Q123359931 description "επιστημονικό άρθρο" @default.
- Q123359931 description "мақолаи илмӣ" @default.
- Q123359931 description "наукова стаття, опублікована в липні 2007" @default.
- Q123359931 description "научна статия" @default.
- Q123359931 description "научная статья" @default.
- Q123359931 description "научни чланак" @default.
- Q123359931 description "научни чланак" @default.
- Q123359931 description "գիտական հոդված հրատարակված 2007 թվականին" @default.
- Q123359931 description "מאמר מדעי" @default.
- Q123359931 description "مقالة بحثية نشرت في يوليو 2007" @default.
- Q123359931 description "জুলাই ২০০৭-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q123359931 description "บทความทางวิทยาศาสตร์" @default.
- Q123359931 description "სამეცნიერო სტატია" @default.
- Q123359931 name "Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface" @default.
- Q123359931 type Item @default.
- Q123359931 label "Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface" @default.
- Q123359931 prefLabel "Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface" @default.
- Q123359931 P1433 Q123359931-3BEAE33C-C954-402A-8524-6C1FD7054043 @default.
- Q123359931 P1476 Q123359931-5A553194-426B-41F7-A7AA-0366D499D0D4 @default.
- Q123359931 P2093 Q123359931-93D38B17-32B9-4470-B748-506101107496 @default.
- Q123359931 P2093 Q123359931-C0226A60-4F75-4043-A9F4-8022193CE079 @default.
- Q123359931 P2093 Q123359931-E77BA945-CA7C-4AA6-9F8A-572500F58055 @default.
- Q123359931 P304 Q123359931-75D670AC-7497-436F-A10C-A381059E2BB2 @default.
- Q123359931 P31 Q123359931-0DD02B2D-E9B8-437C-85C4-12DEE6C1CA7F @default.
- Q123359931 P356 Q123359931-A307D2D0-BB97-4721-88EE-731B6AC23CEB @default.
- Q123359931 P478 Q123359931-17AB0BDB-1912-4268-BC44-8EF14C48B599 @default.
- Q123359931 P577 Q123359931-DB09AD77-C4F2-4F63-B765-A89F2022A438 @default.
- Q123359931 P356 J.ENTCS.2007.01.060 @default.
- Q123359931 P1433 Q5358287 @default.
- Q123359931 P1476 "Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface" @default.
- Q123359931 P2093 "Dominique Cansell" @default.
- Q123359931 P2093 "Dominique Méry" @default.
- Q123359931 P2093 "J. Paul Gibson" @default.
- Q123359931 P304 "39-55" @default.
- Q123359931 P31 Q13442814 @default.
- Q123359931 P356 "10.1016/J.ENTCS.2007.01.060" @default.
- Q123359931 P478 "183" @default.
- Q123359931 P577 "2007-07-01T00:00:00Z" @default.