Matches in SemOpenAlex for { <https://semopenalex.org/work/W2532293044> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2532293044 created "2016-10-28" @default.
- W2532293044 creator A5073257171 @default.
- W2532293044 date "2015-11-25" @default.
- W2532293044 modified "2023-09-27" @default.
- W2532293044 title "Automated deductive verification of systems software" @default.
- W2532293044 hasPublicationYear "2015" @default.
- W2532293044 type Work @default.
- W2532293044 sameAs 2532293044 @default.
- W2532293044 citedByCount "0" @default.
- W2532293044 crossrefType "dissertation" @default.
- W2532293044 hasAuthorship W2532293044A5073257171 @default.
- W2532293044 hasConcept C115903868 @default.
- W2532293044 hasConcept C127413603 @default.
- W2532293044 hasConcept C149091818 @default.
- W2532293044 hasConcept C186846655 @default.
- W2532293044 hasConcept C199360897 @default.
- W2532293044 hasConcept C200601418 @default.
- W2532293044 hasConcept C201995342 @default.
- W2532293044 hasConcept C21547014 @default.
- W2532293044 hasConcept C2777904410 @default.
- W2532293044 hasConcept C33054407 @default.
- W2532293044 hasConcept C41008148 @default.
- W2532293044 hasConcept C48002344 @default.
- W2532293044 hasConceptScore W2532293044C115903868 @default.
- W2532293044 hasConceptScore W2532293044C127413603 @default.
- W2532293044 hasConceptScore W2532293044C149091818 @default.
- W2532293044 hasConceptScore W2532293044C186846655 @default.
- W2532293044 hasConceptScore W2532293044C199360897 @default.
- W2532293044 hasConceptScore W2532293044C200601418 @default.
- W2532293044 hasConceptScore W2532293044C201995342 @default.
- W2532293044 hasConceptScore W2532293044C21547014 @default.
- W2532293044 hasConceptScore W2532293044C2777904410 @default.
- W2532293044 hasConceptScore W2532293044C33054407 @default.
- W2532293044 hasConceptScore W2532293044C41008148 @default.
- W2532293044 hasConceptScore W2532293044C48002344 @default.
- W2532293044 hasLocation W25322930441 @default.
- W2532293044 hasOpenAccess W2532293044 @default.
- W2532293044 hasPrimaryLocation W25322930441 @default.
- W2532293044 hasRelatedWork W1781572998 @default.
- W2532293044 hasRelatedWork W1836717328 @default.
- W2532293044 hasRelatedWork W1868357464 @default.
- W2532293044 hasRelatedWork W1978872638 @default.
- W2532293044 hasRelatedWork W2008194781 @default.
- W2532293044 hasRelatedWork W2013077575 @default.
- W2532293044 hasRelatedWork W2066685587 @default.
- W2532293044 hasRelatedWork W2103972622 @default.
- W2532293044 hasRelatedWork W2117573403 @default.
- W2532293044 hasRelatedWork W2133403781 @default.
- W2532293044 hasRelatedWork W2143764361 @default.
- W2532293044 hasRelatedWork W2147765639 @default.
- W2532293044 hasRelatedWork W2204280886 @default.
- W2532293044 hasRelatedWork W2734061748 @default.
- W2532293044 hasRelatedWork W273526038 @default.
- W2532293044 hasRelatedWork W2737236292 @default.
- W2532293044 hasRelatedWork W2898989734 @default.
- W2532293044 hasRelatedWork W2988133591 @default.
- W2532293044 hasRelatedWork W3139516504 @default.
- W2532293044 hasRelatedWork W3194120901 @default.
- W2532293044 isParatext "false" @default.
- W2532293044 isRetracted "false" @default.
- W2532293044 magId "2532293044" @default.
- W2532293044 workType "dissertation" @default.