Matches in Wikidata for { <http://www.wikidata.org/entity/Q121010889> ?p ?o ?g. }
Showing items 1 to 27 of
27
with 100 items per page.
- Q121010889 description "article scientifique publié en 2010" @default.
- Q121010889 description "artículu científicu espublizáu en 2010" @default.
- Q121010889 description "scientific article published in 2010" @default.
- Q121010889 description "наукова стаття, опублікована у 2010" @default.
- Q121010889 name "Engineering a Sound Assertion Semantics for the Verifying Compiler" @default.
- Q121010889 type Item @default.
- Q121010889 label "Engineering a Sound Assertion Semantics for the Verifying Compiler" @default.
- Q121010889 prefLabel "Engineering a Sound Assertion Semantics for the Verifying Compiler" @default.
- Q121010889 P1433 Q121010889-23C10EF0-A4E0-4EF4-BD21-668478A06181 @default.
- Q121010889 P1476 Q121010889-A4BC3CDA-227C-4B6B-94BB-35088ADB1885 @default.
- Q121010889 P2093 Q121010889-E7A8D27E-95D3-4E09-96F3-3035855E1989 @default.
- Q121010889 P304 Q121010889-CD2E9C58-223B-4C29-8216-A690C5FC9E43 @default.
- Q121010889 P31 Q121010889-B5C48CCF-5135-46EE-82BA-DE157534C359 @default.
- Q121010889 P356 Q121010889-9DBB8D27-346B-4F56-8C65-F9ED4F246109 @default.
- Q121010889 P433 Q121010889-D8DA3099-7625-4BF6-BD31-2E93CFDDB6C2 @default.
- Q121010889 P478 Q121010889-95A3A7F5-0EA2-493A-801E-08935F1E27B0 @default.
- Q121010889 P577 Q121010889-A28F11B8-DA67-4B2B-A53B-DA84D5E87729 @default.
- Q121010889 P356 TSE.2009.59 @default.
- Q121010889 P1433 Q589417 @default.
- Q121010889 P1476 "Engineering a Sound Assertion Semantics for the Verifying Compiler" @default.
- Q121010889 P2093 "P. Chalin" @default.
- Q121010889 P304 "275-287" @default.
- Q121010889 P31 Q13442814 @default.
- Q121010889 P356 "10.1109/TSE.2009.59" @default.
- Q121010889 P433 "2" @default.
- Q121010889 P478 "36" @default.
- Q121010889 P577 "2010-03-01T00:00:00Z" @default.