Matches in SemOpenAlex for { <https://semopenalex.org/work/W3096238220> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W3096238220 abstract "As the world becomes increasingly reliant on technology and the technology becomes increasingly complex, ensuring software correctness is becoming both increasingly important and difficult. Methods ..." @default.
- W3096238220 created "2020-11-09" @default.
- W3096238220 creator A5002563796 @default.
- W3096238220 date "2020-01-01" @default.
- W3096238220 modified "2023-09-26" @default.
- W3096238220 title "Implementation and Verification of Sorting Algorithms with the Interactive Theorem Prover HOL" @default.
- W3096238220 cites W1577384748 @default.
- W3096238220 cites W1725475383 @default.
- W3096238220 cites W2034717157 @default.
- W3096238220 cites W2100505193 @default.
- W3096238220 cites W2266542757 @default.
- W3096238220 cites W2357999276 @default.
- W3096238220 cites W2465408359 @default.
- W3096238220 cites W2912876187 @default.
- W3096238220 hasPublicationYear "2020" @default.
- W3096238220 type Work @default.
- W3096238220 sameAs 3096238220 @default.
- W3096238220 citedByCount "0" @default.
- W3096238220 crossrefType "journal-article" @default.
- W3096238220 hasAuthorship W3096238220A5002563796 @default.
- W3096238220 hasConcept C108094655 @default.
- W3096238220 hasConcept C108710211 @default.
- W3096238220 hasConcept C111696304 @default.
- W3096238220 hasConcept C11413529 @default.
- W3096238220 hasConcept C159718280 @default.
- W3096238220 hasConcept C17435882 @default.
- W3096238220 hasConcept C199343813 @default.
- W3096238220 hasConcept C199360897 @default.
- W3096238220 hasConcept C206880738 @default.
- W3096238220 hasConcept C2524010 @default.
- W3096238220 hasConcept C2777686260 @default.
- W3096238220 hasConcept C33923547 @default.
- W3096238220 hasConcept C41008148 @default.
- W3096238220 hasConcept C71924100 @default.
- W3096238220 hasConcept C80444323 @default.
- W3096238220 hasConceptScore W3096238220C108094655 @default.
- W3096238220 hasConceptScore W3096238220C108710211 @default.
- W3096238220 hasConceptScore W3096238220C111696304 @default.
- W3096238220 hasConceptScore W3096238220C11413529 @default.
- W3096238220 hasConceptScore W3096238220C159718280 @default.
- W3096238220 hasConceptScore W3096238220C17435882 @default.
- W3096238220 hasConceptScore W3096238220C199343813 @default.
- W3096238220 hasConceptScore W3096238220C199360897 @default.
- W3096238220 hasConceptScore W3096238220C206880738 @default.
- W3096238220 hasConceptScore W3096238220C2524010 @default.
- W3096238220 hasConceptScore W3096238220C2777686260 @default.
- W3096238220 hasConceptScore W3096238220C33923547 @default.
- W3096238220 hasConceptScore W3096238220C41008148 @default.
- W3096238220 hasConceptScore W3096238220C71924100 @default.
- W3096238220 hasConceptScore W3096238220C80444323 @default.
- W3096238220 hasLocation W30962382201 @default.
- W3096238220 hasOpenAccess W3096238220 @default.
- W3096238220 hasPrimaryLocation W30962382201 @default.
- W3096238220 hasRelatedWork W1532984424 @default.
- W3096238220 hasRelatedWork W1594935093 @default.
- W3096238220 hasRelatedWork W165655838 @default.
- W3096238220 hasRelatedWork W188594815 @default.
- W3096238220 hasRelatedWork W1988939102 @default.
- W3096238220 hasRelatedWork W1997077872 @default.
- W3096238220 hasRelatedWork W2011176357 @default.
- W3096238220 hasRelatedWork W2093632943 @default.
- W3096238220 hasRelatedWork W2103884889 @default.
- W3096238220 hasRelatedWork W2138825781 @default.
- W3096238220 hasRelatedWork W2143501426 @default.
- W3096238220 hasRelatedWork W2143764361 @default.
- W3096238220 hasRelatedWork W2166422915 @default.
- W3096238220 hasRelatedWork W2751563587 @default.
- W3096238220 hasRelatedWork W2857611122 @default.
- W3096238220 hasRelatedWork W2898989734 @default.
- W3096238220 hasRelatedWork W2947650112 @default.
- W3096238220 hasRelatedWork W3186572156 @default.
- W3096238220 hasRelatedWork W3207857352 @default.
- W3096238220 hasRelatedWork W109480154 @default.
- W3096238220 isParatext "false" @default.
- W3096238220 isRetracted "false" @default.
- W3096238220 magId "3096238220" @default.
- W3096238220 workType "article" @default.