Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110980218> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2110980218 endingPage "29" @default.
- W2110980218 startingPage "15" @default.
- W2110980218 created "2016-06-24" @default.
- W2110980218 creator A5027356527 @default.
- W2110980218 creator A5084552310 @default.
- W2110980218 date "2004-01-01" @default.
- W2110980218 modified "2023-10-01" @default.
- W2110980218 title "Multi-prover Verification of C Programs" @default.
- W2110980218 cites W1996228525 @default.
- W2110980218 cites W2120897738 @default.
- W2110980218 cites W2141236940 @default.
- W2110980218 doi "https://doi.org/10.1007/978-3-540-30482-1_10" @default.
- W2110980218 hasPublicationYear "2004" @default.
- W2110980218 type Work @default.
- W2110980218 sameAs 2110980218 @default.
- W2110980218 citedByCount "118" @default.
- W2110980218 countsByYear W21109802182012 @default.
- W2110980218 countsByYear W21109802182013 @default.
- W2110980218 countsByYear W21109802182014 @default.
- W2110980218 countsByYear W21109802182015 @default.
- W2110980218 countsByYear W21109802182016 @default.
- W2110980218 countsByYear W21109802182018 @default.
- W2110980218 countsByYear W21109802182019 @default.
- W2110980218 countsByYear W21109802182020 @default.
- W2110980218 countsByYear W21109802182022 @default.
- W2110980218 crossrefType "book-chapter" @default.
- W2110980218 hasAuthorship W2110980218A5027356527 @default.
- W2110980218 hasAuthorship W2110980218A5084552310 @default.
- W2110980218 hasConcept C108710211 @default.
- W2110980218 hasConcept C11413529 @default.
- W2110980218 hasConcept C150202949 @default.
- W2110980218 hasConcept C159718280 @default.
- W2110980218 hasConcept C199360897 @default.
- W2110980218 hasConcept C206880738 @default.
- W2110980218 hasConcept C2524010 @default.
- W2110980218 hasConcept C33923547 @default.
- W2110980218 hasConcept C41008148 @default.
- W2110980218 hasConcept C80444323 @default.
- W2110980218 hasConcept C9390403 @default.
- W2110980218 hasConceptScore W2110980218C108710211 @default.
- W2110980218 hasConceptScore W2110980218C11413529 @default.
- W2110980218 hasConceptScore W2110980218C150202949 @default.
- W2110980218 hasConceptScore W2110980218C159718280 @default.
- W2110980218 hasConceptScore W2110980218C199360897 @default.
- W2110980218 hasConceptScore W2110980218C206880738 @default.
- W2110980218 hasConceptScore W2110980218C2524010 @default.
- W2110980218 hasConceptScore W2110980218C33923547 @default.
- W2110980218 hasConceptScore W2110980218C41008148 @default.
- W2110980218 hasConceptScore W2110980218C80444323 @default.
- W2110980218 hasConceptScore W2110980218C9390403 @default.
- W2110980218 hasLocation W21109802181 @default.
- W2110980218 hasOpenAccess W2110980218 @default.
- W2110980218 hasPrimaryLocation W21109802181 @default.
- W2110980218 hasRelatedWork W1836035163 @default.
- W2110980218 hasRelatedWork W1851512747 @default.
- W2110980218 hasRelatedWork W1883702554 @default.
- W2110980218 hasRelatedWork W1991453972 @default.
- W2110980218 hasRelatedWork W2085253283 @default.
- W2110980218 hasRelatedWork W2355331918 @default.
- W2110980218 hasRelatedWork W2391792514 @default.
- W2110980218 hasRelatedWork W2583512742 @default.
- W2110980218 hasRelatedWork W94947182 @default.
- W2110980218 hasRelatedWork W2503169727 @default.
- W2110980218 isParatext "false" @default.
- W2110980218 isRetracted "false" @default.
- W2110980218 magId "2110980218" @default.
- W2110980218 workType "book-chapter" @default.