Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385197551> ?p ?o ?g. }
Showing items 1 to 46 of
46
with 100 items per page.
- W4385197551 abstract "This book provides an overview about the open challenges in software verification and collects contributions from theoretical to practical arguments" @default.
- W4385197551 created "2023-07-25" @default.
- W4385197551 date "2023-01-01" @default.
- W4385197551 modified "2023-09-23" @default.
- W4385197551 title "Challenges of Software Verification" @default.
- W4385197551 doi "https://doi.org/10.1007/978-981-19-9601-6" @default.
- W4385197551 hasPublicationYear "2023" @default.
- W4385197551 type Work @default.
- W4385197551 citedByCount "0" @default.
- W4385197551 crossrefType "book" @default.
- W4385197551 hasConcept C105795698 @default.
- W4385197551 hasConcept C115903868 @default.
- W4385197551 hasConcept C186846655 @default.
- W4385197551 hasConcept C199360897 @default.
- W4385197551 hasConcept C2777904410 @default.
- W4385197551 hasConcept C33054407 @default.
- W4385197551 hasConcept C33923547 @default.
- W4385197551 hasConcept C41008148 @default.
- W4385197551 hasConcept C48002344 @default.
- W4385197551 hasConcept C529173508 @default.
- W4385197551 hasConceptScore W4385197551C105795698 @default.
- W4385197551 hasConceptScore W4385197551C115903868 @default.
- W4385197551 hasConceptScore W4385197551C186846655 @default.
- W4385197551 hasConceptScore W4385197551C199360897 @default.
- W4385197551 hasConceptScore W4385197551C2777904410 @default.
- W4385197551 hasConceptScore W4385197551C33054407 @default.
- W4385197551 hasConceptScore W4385197551C33923547 @default.
- W4385197551 hasConceptScore W4385197551C41008148 @default.
- W4385197551 hasConceptScore W4385197551C48002344 @default.
- W4385197551 hasConceptScore W4385197551C529173508 @default.
- W4385197551 hasLocation W43851975511 @default.
- W4385197551 hasOpenAccess W4385197551 @default.
- W4385197551 hasPrimaryLocation W43851975511 @default.
- W4385197551 hasRelatedWork W1965330114 @default.
- W4385197551 hasRelatedWork W1975164629 @default.
- W4385197551 hasRelatedWork W2391949149 @default.
- W4385197551 hasRelatedWork W2742029447 @default.
- W4385197551 hasRelatedWork W2998486694 @default.
- W4385197551 hasRelatedWork W3026596032 @default.
- W4385197551 hasRelatedWork W3027371154 @default.
- W4385197551 hasRelatedWork W4307177191 @default.
- W4385197551 hasRelatedWork W47563837 @default.
- W4385197551 hasRelatedWork W72285135 @default.
- W4385197551 isParatext "false" @default.
- W4385197551 isRetracted "false" @default.
- W4385197551 workType "book" @default.