Matches in SemOpenAlex for { <https://semopenalex.org/work/W55177595> ?p ?o ?g. }
Showing items 1 to 39 of
39
with 100 items per page.
- W55177595 created "2016-06-24" @default.
- W55177595 creator A5036625175 @default.
- W55177595 creator A5047181479 @default.
- W55177595 date "2001-01-01" @default.
- W55177595 modified "2023-09-27" @default.
- W55177595 title "Deriving Safety Pre-Condition for Array Bounds Check in Imperative Programs" @default.
- W55177595 cites W1605034451 @default.
- W55177595 cites W2012419563 @default.
- W55177595 cites W2040384644 @default.
- W55177595 cites W2079549821 @default.
- W55177595 cites W2115454537 @default.
- W55177595 cites W2132661148 @default.
- W55177595 cites W2153096254 @default.
- W55177595 cites W2160255280 @default.
- W55177595 hasPublicationYear "2001" @default.
- W55177595 type Work @default.
- W55177595 sameAs 55177595 @default.
- W55177595 citedByCount "0" @default.
- W55177595 crossrefType "journal-article" @default.
- W55177595 hasAuthorship W55177595A5036625175 @default.
- W55177595 hasAuthorship W55177595A5047181479 @default.
- W55177595 hasConcept C41008148 @default.
- W55177595 hasConceptScore W55177595C41008148 @default.
- W55177595 hasLocation W551775951 @default.
- W55177595 hasOpenAccess W55177595 @default.
- W55177595 hasPrimaryLocation W551775951 @default.
- W55177595 hasRelatedWork W2066550846 @default.
- W55177595 hasRelatedWork W2102847589 @default.
- W55177595 hasRelatedWork W2115454537 @default.
- W55177595 hasRelatedWork W2405674146 @default.
- W55177595 hasRelatedWork W2523645609 @default.
- W55177595 hasRelatedWork W2743922485 @default.
- W55177595 hasRelatedWork W2765529322 @default.
- W55177595 hasRelatedWork W3007629583 @default.
- W55177595 hasRelatedWork W3191265722 @default.
- W55177595 isParatext "false" @default.
- W55177595 isRetracted "false" @default.
- W55177595 magId "55177595" @default.
- W55177595 workType "article" @default.