Matches in SemOpenAlex for { <https://semopenalex.org/work/W2916526264> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2916526264 abstract "Reasoning about programs Central to any programming task From safety critical applications to scripting From initial development to maintenance to debugging Minimizes faults, security problems, time/cost to market Thinking skill" @default.
- W2916526264 created "2019-03-02" @default.
- W2916526264 creator A5030991503 @default.
- W2916526264 date "2011-08-05" @default.
- W2916526264 modified "2023-09-23" @default.
- W2916526264 title "Using and Building an Automatic Program Verifier (Lecture 1)" @default.
- W2916526264 hasPublicationYear "2011" @default.
- W2916526264 type Work @default.
- W2916526264 sameAs 2916526264 @default.
- W2916526264 citedByCount "0" @default.
- W2916526264 crossrefType "journal-article" @default.
- W2916526264 hasAuthorship W2916526264A5030991503 @default.
- W2916526264 hasConcept C115903868 @default.
- W2916526264 hasConcept C127413603 @default.
- W2916526264 hasConcept C136388014 @default.
- W2916526264 hasConcept C168065819 @default.
- W2916526264 hasConcept C199360897 @default.
- W2916526264 hasConcept C201995342 @default.
- W2916526264 hasConcept C2780451532 @default.
- W2916526264 hasConcept C38652104 @default.
- W2916526264 hasConcept C41008148 @default.
- W2916526264 hasConcept C61423126 @default.
- W2916526264 hasConceptScore W2916526264C115903868 @default.
- W2916526264 hasConceptScore W2916526264C127413603 @default.
- W2916526264 hasConceptScore W2916526264C136388014 @default.
- W2916526264 hasConceptScore W2916526264C168065819 @default.
- W2916526264 hasConceptScore W2916526264C199360897 @default.
- W2916526264 hasConceptScore W2916526264C201995342 @default.
- W2916526264 hasConceptScore W2916526264C2780451532 @default.
- W2916526264 hasConceptScore W2916526264C38652104 @default.
- W2916526264 hasConceptScore W2916526264C41008148 @default.
- W2916526264 hasConceptScore W2916526264C61423126 @default.
- W2916526264 hasLocation W29165262641 @default.
- W2916526264 hasOpenAccess W2916526264 @default.
- W2916526264 hasPrimaryLocation W29165262641 @default.
- W2916526264 hasRelatedWork W1508924050 @default.
- W2916526264 hasRelatedWork W1567655883 @default.
- W2916526264 hasRelatedWork W1584403354 @default.
- W2916526264 hasRelatedWork W1602936969 @default.
- W2916526264 hasRelatedWork W1885835230 @default.
- W2916526264 hasRelatedWork W2000819476 @default.
- W2916526264 hasRelatedWork W2007798926 @default.
- W2916526264 hasRelatedWork W2025423807 @default.
- W2916526264 hasRelatedWork W2040171107 @default.
- W2916526264 hasRelatedWork W2129597 @default.
- W2916526264 hasRelatedWork W2133039328 @default.
- W2916526264 hasRelatedWork W2160761160 @default.
- W2916526264 hasRelatedWork W2274891842 @default.
- W2916526264 hasRelatedWork W2381930927 @default.
- W2916526264 hasRelatedWork W2545704562 @default.
- W2916526264 hasRelatedWork W2550977975 @default.
- W2916526264 hasRelatedWork W2745425599 @default.
- W2916526264 hasRelatedWork W309069024 @default.
- W2916526264 hasRelatedWork W7984350 @default.
- W2916526264 hasRelatedWork W90153131 @default.
- W2916526264 isParatext "false" @default.
- W2916526264 isRetracted "false" @default.
- W2916526264 magId "2916526264" @default.
- W2916526264 workType "article" @default.