Matches in SemOpenAlex for { <https://semopenalex.org/work/W1907753350> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- W1907753350 created "2016-06-24" @default.
- W1907753350 creator A5004242195 @default.
- W1907753350 date "1982-01-01" @default.
- W1907753350 modified "2023-09-26" @default.
- W1907753350 title "Program verification using Ada" @default.
- W1907753350 hasPublicationYear "1982" @default.
- W1907753350 type Work @default.
- W1907753350 sameAs 1907753350 @default.
- W1907753350 citedByCount "10" @default.
- W1907753350 crossrefType "book" @default.
- W1907753350 hasAuthorship W1907753350A5004242195 @default.
- W1907753350 hasConcept C199360897 @default.
- W1907753350 hasConcept C41008148 @default.
- W1907753350 hasConceptScore W1907753350C199360897 @default.
- W1907753350 hasConceptScore W1907753350C41008148 @default.
- W1907753350 hasLocation W19077533501 @default.
- W1907753350 hasOpenAccess W1907753350 @default.
- W1907753350 hasPrimaryLocation W19077533501 @default.
- W1907753350 hasRelatedWork W1481862033 @default.
- W1907753350 hasRelatedWork W149271310 @default.
- W1907753350 hasRelatedWork W158713099 @default.
- W1907753350 hasRelatedWork W1966898191 @default.
- W1907753350 hasRelatedWork W1983788583 @default.
- W1907753350 hasRelatedWork W1989610599 @default.
- W1907753350 hasRelatedWork W2019055463 @default.
- W1907753350 hasRelatedWork W2051743656 @default.
- W1907753350 hasRelatedWork W2058037935 @default.
- W1907753350 hasRelatedWork W2074141488 @default.
- W1907753350 hasRelatedWork W2085466170 @default.
- W1907753350 hasRelatedWork W2142134719 @default.
- W1907753350 hasRelatedWork W2265328933 @default.
- W1907753350 hasRelatedWork W2321147707 @default.
- W1907753350 hasRelatedWork W2415130219 @default.
- W1907753350 hasRelatedWork W2592373150 @default.
- W1907753350 hasRelatedWork W3146075203 @default.
- W1907753350 hasRelatedWork W809459620 @default.
- W1907753350 hasRelatedWork W810341424 @default.
- W1907753350 hasRelatedWork W2091621518 @default.
- W1907753350 isParatext "false" @default.
- W1907753350 isRetracted "false" @default.
- W1907753350 magId "1907753350" @default.
- W1907753350 workType "book" @default.