Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898945501> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2898945501 abstract "Deductive program verification can give high assurances for program correctness. But incomplete partial proofs do not provide any information as to what degree or with what probability the program is correct." @default.
- W2898945501 created "2018-11-09" @default.
- W2898945501 creator A5002288935 @default.
- W2898945501 creator A5003024686 @default.
- W2898945501 creator A5039009530 @default.
- W2898945501 creator A5058828564 @default.
- W2898945501 date "2018-01-01" @default.
- W2898945501 modified "2023-10-06" @default.
- W2898945501 title "Towards a Notion of Coverage for Incomplete Program-Correctness Proofs" @default.
- W2898945501 cites W2020018978 @default.
- W2898945501 cites W2139980321 @default.
- W2898945501 cites W2565255124 @default.
- W2898945501 cites W2604673637 @default.
- W2898945501 cites W2733978128 @default.
- W2898945501 cites W4231430632 @default.
- W2898945501 cites W4238292764 @default.
- W2898945501 doi "https://doi.org/10.1007/978-3-030-03421-4_4" @default.
- W2898945501 hasPublicationYear "2018" @default.
- W2898945501 type Work @default.
- W2898945501 sameAs 2898945501 @default.
- W2898945501 citedByCount "1" @default.
- W2898945501 countsByYear W28989455012018 @default.
- W2898945501 crossrefType "book-chapter" @default.
- W2898945501 hasAuthorship W2898945501A5002288935 @default.
- W2898945501 hasAuthorship W2898945501A5003024686 @default.
- W2898945501 hasAuthorship W2898945501A5039009530 @default.
- W2898945501 hasAuthorship W2898945501A5058828564 @default.
- W2898945501 hasConcept C108710211 @default.
- W2898945501 hasConcept C199360897 @default.
- W2898945501 hasConcept C206880738 @default.
- W2898945501 hasConcept C2524010 @default.
- W2898945501 hasConcept C33923547 @default.
- W2898945501 hasConcept C41008148 @default.
- W2898945501 hasConcept C55439883 @default.
- W2898945501 hasConcept C80444323 @default.
- W2898945501 hasConcept C98183937 @default.
- W2898945501 hasConceptScore W2898945501C108710211 @default.
- W2898945501 hasConceptScore W2898945501C199360897 @default.
- W2898945501 hasConceptScore W2898945501C206880738 @default.
- W2898945501 hasConceptScore W2898945501C2524010 @default.
- W2898945501 hasConceptScore W2898945501C33923547 @default.
- W2898945501 hasConceptScore W2898945501C41008148 @default.
- W2898945501 hasConceptScore W2898945501C55439883 @default.
- W2898945501 hasConceptScore W2898945501C80444323 @default.
- W2898945501 hasConceptScore W2898945501C98183937 @default.
- W2898945501 hasLocation W28989455011 @default.
- W2898945501 hasOpenAccess W2898945501 @default.
- W2898945501 hasPrimaryLocation W28989455011 @default.
- W2898945501 hasRelatedWork W1494663138 @default.
- W2898945501 hasRelatedWork W1856380672 @default.
- W2898945501 hasRelatedWork W186716365 @default.
- W2898945501 hasRelatedWork W1985540822 @default.
- W2898945501 hasRelatedWork W2003553652 @default.
- W2898945501 hasRelatedWork W2004165456 @default.
- W2898945501 hasRelatedWork W2012220159 @default.
- W2898945501 hasRelatedWork W2033820912 @default.
- W2898945501 hasRelatedWork W2103433304 @default.
- W2898945501 hasRelatedWork W2107997147 @default.
- W2898945501 hasRelatedWork W2134476918 @default.
- W2898945501 hasRelatedWork W2140754281 @default.
- W2898945501 hasRelatedWork W2166573120 @default.
- W2898945501 hasRelatedWork W2626077386 @default.
- W2898945501 hasRelatedWork W2775903035 @default.
- W2898945501 hasRelatedWork W2794930237 @default.
- W2898945501 hasRelatedWork W2886431776 @default.
- W2898945501 hasRelatedWork W2973978040 @default.
- W2898945501 hasRelatedWork W3186384157 @default.
- W2898945501 hasRelatedWork W3207067320 @default.
- W2898945501 isParatext "false" @default.
- W2898945501 isRetracted "false" @default.
- W2898945501 magId "2898945501" @default.
- W2898945501 workType "book-chapter" @default.