Matches in SemOpenAlex for { <https://semopenalex.org/work/W3182878328> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W3182878328 created "2021-07-19" @default.
- W3182878328 creator A5006444994 @default.
- W3182878328 date "2021-01-01" @default.
- W3182878328 modified "2023-09-26" @default.
- W3182878328 title "Solidifer: bounded model checking Solidity using lazy contract deployment and precise memory modelling" @default.
- W3182878328 hasPublicationYear "2021" @default.
- W3182878328 type Work @default.
- W3182878328 sameAs 3182878328 @default.
- W3182878328 citedByCount "0" @default.
- W3182878328 crossrefType "proceedings-article" @default.
- W3182878328 hasAuthorship W3182878328A5006444994 @default.
- W3182878328 hasConcept C105339364 @default.
- W3182878328 hasConcept C110251889 @default.
- W3182878328 hasConcept C115903868 @default.
- W3182878328 hasConcept C12186640 @default.
- W3182878328 hasConcept C133875982 @default.
- W3182878328 hasConcept C134306372 @default.
- W3182878328 hasConcept C173608175 @default.
- W3182878328 hasConcept C199360897 @default.
- W3182878328 hasConcept C2778362873 @default.
- W3182878328 hasConcept C33923547 @default.
- W3182878328 hasConcept C34388435 @default.
- W3182878328 hasConcept C41008148 @default.
- W3182878328 hasConceptScore W3182878328C105339364 @default.
- W3182878328 hasConceptScore W3182878328C110251889 @default.
- W3182878328 hasConceptScore W3182878328C115903868 @default.
- W3182878328 hasConceptScore W3182878328C12186640 @default.
- W3182878328 hasConceptScore W3182878328C133875982 @default.
- W3182878328 hasConceptScore W3182878328C134306372 @default.
- W3182878328 hasConceptScore W3182878328C173608175 @default.
- W3182878328 hasConceptScore W3182878328C199360897 @default.
- W3182878328 hasConceptScore W3182878328C2778362873 @default.
- W3182878328 hasConceptScore W3182878328C33923547 @default.
- W3182878328 hasConceptScore W3182878328C34388435 @default.
- W3182878328 hasConceptScore W3182878328C41008148 @default.
- W3182878328 hasLocation W31828783281 @default.
- W3182878328 hasOpenAccess W3182878328 @default.
- W3182878328 hasPrimaryLocation W31828783281 @default.
- W3182878328 hasRelatedWork W113732979 @default.
- W3182878328 hasRelatedWork W120353538 @default.
- W3182878328 hasRelatedWork W142178511 @default.
- W3182878328 hasRelatedWork W1499518299 @default.
- W3182878328 hasRelatedWork W1548768164 @default.
- W3182878328 hasRelatedWork W1567979241 @default.
- W3182878328 hasRelatedWork W2020301705 @default.
- W3182878328 hasRelatedWork W2037711733 @default.
- W3182878328 hasRelatedWork W2042891697 @default.
- W3182878328 hasRelatedWork W2074500093 @default.
- W3182878328 hasRelatedWork W2085489784 @default.
- W3182878328 hasRelatedWork W2107445402 @default.
- W3182878328 hasRelatedWork W2109039735 @default.
- W3182878328 hasRelatedWork W2118244677 @default.
- W3182878328 hasRelatedWork W2134241547 @default.
- W3182878328 hasRelatedWork W2145619371 @default.
- W3182878328 hasRelatedWork W2357534216 @default.
- W3182878328 hasRelatedWork W2360304673 @default.
- W3182878328 hasRelatedWork W237132587 @default.
- W3182878328 hasRelatedWork W2613456593 @default.
- W3182878328 isParatext "false" @default.
- W3182878328 isRetracted "false" @default.
- W3182878328 magId "3182878328" @default.
- W3182878328 workType "article" @default.