Matches in SemOpenAlex for { <https://semopenalex.org/work/W4206315090> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4206315090 endingPage "422" @default.
- W4206315090 startingPage "403" @default.
- W4206315090 created "2022-01-26" @default.
- W4206315090 creator A5016746101 @default.
- W4206315090 creator A5050136687 @default.
- W4206315090 date "2021-01-01" @default.
- W4206315090 modified "2023-09-25" @default.
- W4206315090 title "A Denotational Semantics of Solidity in Isabelle/HOL" @default.
- W4206315090 cites W1515094747 @default.
- W4206315090 cites W1532290481 @default.
- W4206315090 cites W2048417351 @default.
- W4206315090 cites W2074789981 @default.
- W4206315090 cites W2267469130 @default.
- W4206315090 cites W2538848838 @default.
- W4206315090 cites W2565255124 @default.
- W4206315090 cites W2769609281 @default.
- W4206315090 cites W2778144710 @default.
- W4206315090 cites W2885034081 @default.
- W4206315090 cites W2898192927 @default.
- W4206315090 cites W2901515670 @default.
- W4206315090 cites W2962941562 @default.
- W4206315090 cites W2979162004 @default.
- W4206315090 cites W2979602992 @default.
- W4206315090 cites W3011238671 @default.
- W4206315090 cites W3015405072 @default.
- W4206315090 cites W3016694020 @default.
- W4206315090 cites W3020706470 @default.
- W4206315090 cites W3096725945 @default.
- W4206315090 cites W3104720502 @default.
- W4206315090 cites W3104801135 @default.
- W4206315090 cites W4231286867 @default.
- W4206315090 cites W4239564128 @default.
- W4206315090 cites W4250846042 @default.
- W4206315090 doi "https://doi.org/10.1007/978-3-030-92124-8_23" @default.
- W4206315090 hasPublicationYear "2021" @default.
- W4206315090 type Work @default.
- W4206315090 citedByCount "2" @default.
- W4206315090 countsByYear W42063150902022 @default.
- W4206315090 crossrefType "book-chapter" @default.
- W4206315090 hasAuthorship W4206315090A5016746101 @default.
- W4206315090 hasAuthorship W4206315090A5050136687 @default.
- W4206315090 hasBestOaLocation W42063150902 @default.
- W4206315090 hasConcept C150607116 @default.
- W4206315090 hasConcept C156325763 @default.
- W4206315090 hasConcept C17435882 @default.
- W4206315090 hasConcept C184337299 @default.
- W4206315090 hasConcept C199360897 @default.
- W4206315090 hasConcept C207648694 @default.
- W4206315090 hasConcept C2778362873 @default.
- W4206315090 hasConcept C41008148 @default.
- W4206315090 hasConcept C87365073 @default.
- W4206315090 hasConceptScore W4206315090C150607116 @default.
- W4206315090 hasConceptScore W4206315090C156325763 @default.
- W4206315090 hasConceptScore W4206315090C17435882 @default.
- W4206315090 hasConceptScore W4206315090C184337299 @default.
- W4206315090 hasConceptScore W4206315090C199360897 @default.
- W4206315090 hasConceptScore W4206315090C207648694 @default.
- W4206315090 hasConceptScore W4206315090C2778362873 @default.
- W4206315090 hasConceptScore W4206315090C41008148 @default.
- W4206315090 hasConceptScore W4206315090C87365073 @default.
- W4206315090 hasLocation W42063150901 @default.
- W4206315090 hasLocation W42063150902 @default.
- W4206315090 hasOpenAccess W4206315090 @default.
- W4206315090 hasPrimaryLocation W42063150901 @default.
- W4206315090 hasRelatedWork W1500490537 @default.
- W4206315090 hasRelatedWork W1985058553 @default.
- W4206315090 hasRelatedWork W2017152877 @default.
- W4206315090 hasRelatedWork W2042608853 @default.
- W4206315090 hasRelatedWork W2055530613 @default.
- W4206315090 hasRelatedWork W2080003993 @default.
- W4206315090 hasRelatedWork W2084426999 @default.
- W4206315090 hasRelatedWork W2131706255 @default.
- W4206315090 hasRelatedWork W2623394745 @default.
- W4206315090 hasRelatedWork W3163637575 @default.
- W4206315090 isParatext "false" @default.
- W4206315090 isRetracted "false" @default.
- W4206315090 workType "book-chapter" @default.