Matches in SemOpenAlex for { <https://semopenalex.org/work/W4375841831> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W4375841831 created "2023-05-10" @default.
- W4375841831 creator A5014699817 @default.
- W4375841831 creator A5055879656 @default.
- W4375841831 creator A5058360321 @default.
- W4375841831 date "2022-08-01" @default.
- W4375841831 modified "2023-10-16" @default.
- W4375841831 title "State-of-the-art survey of smart contract verification based on formal methods" @default.
- W4375841831 doi "https://doi.org/10.11959/j.issn.2096-109x.2022041" @default.
- W4375841831 hasPublicationYear "2022" @default.
- W4375841831 type Work @default.
- W4375841831 citedByCount "0" @default.
- W4375841831 crossrefType "journal-article" @default.
- W4375841831 hasAuthorship W4375841831A5014699817 @default.
- W4375841831 hasAuthorship W4375841831A5055879656 @default.
- W4375841831 hasAuthorship W4375841831A5058360321 @default.
- W4375841831 hasConcept C111498074 @default.
- W4375841831 hasConcept C115903868 @default.
- W4375841831 hasConcept C149091818 @default.
- W4375841831 hasConcept C186846655 @default.
- W4375841831 hasConcept C199360897 @default.
- W4375841831 hasConcept C2777904410 @default.
- W4375841831 hasConcept C41008148 @default.
- W4375841831 hasConcept C48103436 @default.
- W4375841831 hasConcept C75606506 @default.
- W4375841831 hasConcept C80291951 @default.
- W4375841831 hasConceptScore W4375841831C111498074 @default.
- W4375841831 hasConceptScore W4375841831C115903868 @default.
- W4375841831 hasConceptScore W4375841831C149091818 @default.
- W4375841831 hasConceptScore W4375841831C186846655 @default.
- W4375841831 hasConceptScore W4375841831C199360897 @default.
- W4375841831 hasConceptScore W4375841831C2777904410 @default.
- W4375841831 hasConceptScore W4375841831C41008148 @default.
- W4375841831 hasConceptScore W4375841831C48103436 @default.
- W4375841831 hasConceptScore W4375841831C75606506 @default.
- W4375841831 hasConceptScore W4375841831C80291951 @default.
- W4375841831 hasLocation W43758418311 @default.
- W4375841831 hasOpenAccess W4375841831 @default.
- W4375841831 hasPrimaryLocation W43758418311 @default.
- W4375841831 hasRelatedWork W1527542101 @default.
- W4375841831 hasRelatedWork W1555537310 @default.
- W4375841831 hasRelatedWork W1916258364 @default.
- W4375841831 hasRelatedWork W2043563043 @default.
- W4375841831 hasRelatedWork W2121842278 @default.
- W4375841831 hasRelatedWork W2130372530 @default.
- W4375841831 hasRelatedWork W2755115812 @default.
- W4375841831 hasRelatedWork W3095449116 @default.
- W4375841831 hasRelatedWork W611419313 @default.
- W4375841831 hasRelatedWork W63592217 @default.
- W4375841831 isParatext "false" @default.
- W4375841831 isRetracted "false" @default.
- W4375841831 workType "article" @default.