Matches in SemOpenAlex for { <https://semopenalex.org/work/W4304607691> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W4304607691 created "2022-10-12" @default.
- W4304607691 creator A5022409306 @default.
- W4304607691 creator A5043313305 @default.
- W4304607691 creator A5045333326 @default.
- W4304607691 creator A5065037360 @default.
- W4304607691 creator A5067575844 @default.
- W4304607691 creator A5073603754 @default.
- W4304607691 creator A5077561087 @default.
- W4304607691 creator A5079155690 @default.
- W4304607691 date "2022-10-12" @default.
- W4304607691 modified "2023-10-16" @default.
- W4304607691 title "SmartFast: an accurate and robust formal analysis tool for Ethereum smart contracts" @default.
- W4304607691 cites W2539190473 @default.
- W4304607691 cites W2593535131 @default.
- W4304607691 cites W2754473012 @default.
- W4304607691 cites W2790202156 @default.
- W4304607691 cites W2805052744 @default.
- W4304607691 cites W2805827286 @default.
- W4304607691 cites W2808815243 @default.
- W4304607691 cites W2884898944 @default.
- W4304607691 cites W2885034081 @default.
- W4304607691 cites W2908007588 @default.
- W4304607691 cites W2963465913 @default.
- W4304607691 cites W2970774586 @default.
- W4304607691 cites W2982275082 @default.
- W4304607691 cites W2985495886 @default.
- W4304607691 cites W3008357810 @default.
- W4304607691 cites W3015405072 @default.
- W4304607691 cites W3016155638 @default.
- W4304607691 cites W3091620507 @default.
- W4304607691 cites W3095431539 @default.
- W4304607691 cites W3104720502 @default.
- W4304607691 cites W3105187050 @default.
- W4304607691 cites W4205689130 @default.
- W4304607691 doi "https://doi.org/10.1007/s10664-022-10218-2" @default.
- W4304607691 hasPublicationYear "2022" @default.
- W4304607691 type Work @default.
- W4304607691 citedByCount "1" @default.
- W4304607691 countsByYear W43046076912023 @default.
- W4304607691 crossrefType "journal-article" @default.
- W4304607691 hasAuthorship W4304607691A5022409306 @default.
- W4304607691 hasAuthorship W4304607691A5043313305 @default.
- W4304607691 hasAuthorship W4304607691A5045333326 @default.
- W4304607691 hasAuthorship W4304607691A5065037360 @default.
- W4304607691 hasAuthorship W4304607691A5067575844 @default.
- W4304607691 hasAuthorship W4304607691A5073603754 @default.
- W4304607691 hasAuthorship W4304607691A5077561087 @default.
- W4304607691 hasAuthorship W4304607691A5079155690 @default.
- W4304607691 hasConcept C115903868 @default.
- W4304607691 hasConcept C137176749 @default.
- W4304607691 hasConcept C15744967 @default.
- W4304607691 hasConcept C167063184 @default.
- W4304607691 hasConcept C177264268 @default.
- W4304607691 hasConcept C199360897 @default.
- W4304607691 hasConcept C2776760102 @default.
- W4304607691 hasConcept C2779687700 @default.
- W4304607691 hasConcept C2779950589 @default.
- W4304607691 hasConcept C38652104 @default.
- W4304607691 hasConcept C41008148 @default.
- W4304607691 hasConcept C43126263 @default.
- W4304607691 hasConcept C542102704 @default.
- W4304607691 hasConcept C95713431 @default.
- W4304607691 hasConcept C97686452 @default.
- W4304607691 hasConceptScore W4304607691C115903868 @default.
- W4304607691 hasConceptScore W4304607691C137176749 @default.
- W4304607691 hasConceptScore W4304607691C15744967 @default.
- W4304607691 hasConceptScore W4304607691C167063184 @default.
- W4304607691 hasConceptScore W4304607691C177264268 @default.
- W4304607691 hasConceptScore W4304607691C199360897 @default.
- W4304607691 hasConceptScore W4304607691C2776760102 @default.
- W4304607691 hasConceptScore W4304607691C2779687700 @default.
- W4304607691 hasConceptScore W4304607691C2779950589 @default.
- W4304607691 hasConceptScore W4304607691C38652104 @default.
- W4304607691 hasConceptScore W4304607691C41008148 @default.
- W4304607691 hasConceptScore W4304607691C43126263 @default.
- W4304607691 hasConceptScore W4304607691C542102704 @default.
- W4304607691 hasConceptScore W4304607691C95713431 @default.
- W4304607691 hasConceptScore W4304607691C97686452 @default.
- W4304607691 hasIssue "7" @default.
- W4304607691 hasLocation W43046076911 @default.
- W4304607691 hasOpenAccess W4304607691 @default.
- W4304607691 hasPrimaryLocation W43046076911 @default.
- W4304607691 hasRelatedWork W1569374677 @default.
- W4304607691 hasRelatedWork W197710628 @default.
- W4304607691 hasRelatedWork W2293795036 @default.
- W4304607691 hasRelatedWork W2737894786 @default.
- W4304607691 hasRelatedWork W2996823191 @default.
- W4304607691 hasRelatedWork W3139517782 @default.
- W4304607691 hasRelatedWork W3174544896 @default.
- W4304607691 hasRelatedWork W4214665471 @default.
- W4304607691 hasRelatedWork W4285818718 @default.
- W4304607691 hasRelatedWork W4311722302 @default.
- W4304607691 hasVolume "27" @default.
- W4304607691 isParatext "false" @default.
- W4304607691 isRetracted "false" @default.
- W4304607691 workType "article" @default.