Matches in SemOpenAlex for { <https://semopenalex.org/work/W2911179065> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2911179065 created "2019-01-25" @default.
- W2911179065 creator A5076276191 @default.
- W2911179065 date "2017-01-01" @default.
- W2911179065 modified "2023-09-25" @default.
- W2911179065 title "Symbolic execution of verification languages and floating-point code" @default.
- W2911179065 doi "https://doi.org/10.25560/59705" @default.
- W2911179065 hasPublicationYear "2017" @default.
- W2911179065 type Work @default.
- W2911179065 sameAs 2911179065 @default.
- W2911179065 citedByCount "0" @default.
- W2911179065 crossrefType "dissertation" @default.
- W2911179065 hasAuthorship W2911179065A5076276191 @default.
- W2911179065 hasConcept C173608175 @default.
- W2911179065 hasConcept C177264268 @default.
- W2911179065 hasConcept C199360897 @default.
- W2911179065 hasConcept C2524010 @default.
- W2911179065 hasConcept C2776760102 @default.
- W2911179065 hasConcept C2777904410 @default.
- W2911179065 hasConcept C2779639559 @default.
- W2911179065 hasConcept C28719098 @default.
- W2911179065 hasConcept C33923547 @default.
- W2911179065 hasConcept C41008148 @default.
- W2911179065 hasConceptScore W2911179065C173608175 @default.
- W2911179065 hasConceptScore W2911179065C177264268 @default.
- W2911179065 hasConceptScore W2911179065C199360897 @default.
- W2911179065 hasConceptScore W2911179065C2524010 @default.
- W2911179065 hasConceptScore W2911179065C2776760102 @default.
- W2911179065 hasConceptScore W2911179065C2777904410 @default.
- W2911179065 hasConceptScore W2911179065C2779639559 @default.
- W2911179065 hasConceptScore W2911179065C28719098 @default.
- W2911179065 hasConceptScore W2911179065C33923547 @default.
- W2911179065 hasConceptScore W2911179065C41008148 @default.
- W2911179065 hasLocation W29111790651 @default.
- W2911179065 hasOpenAccess W2911179065 @default.
- W2911179065 hasPrimaryLocation W29111790651 @default.
- W2911179065 hasRelatedWork W104403558 @default.
- W2911179065 hasRelatedWork W1589048378 @default.
- W2911179065 hasRelatedWork W1792464322 @default.
- W2911179065 hasRelatedWork W1989665256 @default.
- W2911179065 hasRelatedWork W2003315346 @default.
- W2911179065 hasRelatedWork W2006306818 @default.
- W2911179065 hasRelatedWork W2012426706 @default.
- W2911179065 hasRelatedWork W2026593374 @default.
- W2911179065 hasRelatedWork W2066647616 @default.
- W2911179065 hasRelatedWork W2125522798 @default.
- W2911179065 hasRelatedWork W2131767818 @default.
- W2911179065 hasRelatedWork W2146763372 @default.
- W2911179065 hasRelatedWork W2155323044 @default.
- W2911179065 hasRelatedWork W2355962542 @default.
- W2911179065 hasRelatedWork W2907344080 @default.
- W2911179065 hasRelatedWork W3095934469 @default.
- W2911179065 hasRelatedWork W2842544985 @default.
- W2911179065 hasRelatedWork W2843250844 @default.
- W2911179065 hasRelatedWork W2882069350 @default.
- W2911179065 hasRelatedWork W975006028 @default.
- W2911179065 isParatext "false" @default.
- W2911179065 isRetracted "false" @default.
- W2911179065 magId "2911179065" @default.
- W2911179065 workType "dissertation" @default.