Matches in SemOpenAlex for { <https://semopenalex.org/work/W2565644675> ?p ?o ?g. }
Showing items 1 to 43 of
43
with 100 items per page.
- W2565644675 abstract "Tools and specifications are useful in software development Full functional-correctness verification is becoming more automatic To build a verifier, use an intermediate verification language" @default.
- W2565644675 created "2017-01-06" @default.
- W2565644675 creator A5030991503 @default.
- W2565644675 date "2010-04-13" @default.
- W2565644675 modified "2023-09-27" @default.
- W2565644675 title "The Dafny Program Verifier" @default.
- W2565644675 hasPublicationYear "2010" @default.
- W2565644675 type Work @default.
- W2565644675 sameAs 2565644675 @default.
- W2565644675 citedByCount "0" @default.
- W2565644675 crossrefType "journal-article" @default.
- W2565644675 hasAuthorship W2565644675A5030991503 @default.
- W2565644675 hasConcept C199360897 @default.
- W2565644675 hasConcept C41008148 @default.
- W2565644675 hasConceptScore W2565644675C199360897 @default.
- W2565644675 hasConceptScore W2565644675C41008148 @default.
- W2565644675 hasLocation W25656446751 @default.
- W2565644675 hasOpenAccess W2565644675 @default.
- W2565644675 hasPrimaryLocation W25656446751 @default.
- W2565644675 hasRelatedWork W1501958072 @default.
- W2565644675 hasRelatedWork W1512176711 @default.
- W2565644675 hasRelatedWork W174390253 @default.
- W2565644675 hasRelatedWork W1744916874 @default.
- W2565644675 hasRelatedWork W1937494301 @default.
- W2565644675 hasRelatedWork W196033600 @default.
- W2565644675 hasRelatedWork W1991444609 @default.
- W2565644675 hasRelatedWork W2001092196 @default.
- W2565644675 hasRelatedWork W2105218810 @default.
- W2565644675 hasRelatedWork W2108703110 @default.
- W2565644675 hasRelatedWork W2130427425 @default.
- W2565644675 hasRelatedWork W2134927133 @default.
- W2565644675 hasRelatedWork W2142949137 @default.
- W2565644675 hasRelatedWork W2167301299 @default.
- W2565644675 hasRelatedWork W2283722811 @default.
- W2565644675 hasRelatedWork W2399352543 @default.
- W2565644675 hasRelatedWork W2536902987 @default.
- W2565644675 hasRelatedWork W3004661837 @default.
- W2565644675 hasRelatedWork W3172592804 @default.
- W2565644675 hasRelatedWork W3185412097 @default.
- W2565644675 isParatext "false" @default.
- W2565644675 isRetracted "false" @default.
- W2565644675 magId "2565644675" @default.
- W2565644675 workType "article" @default.