Matches in SemOpenAlex for { <https://semopenalex.org/work/W2186613624> ?p ?o ?g. }
- W2186613624 created "2016-06-24" @default.
- W2186613624 creator A5000730993 @default.
- W2186613624 date "2009-01-01" @default.
- W2186613624 modified "2023-09-27" @default.
- W2186613624 title "Interface Grammars for Modular Software Verification" @default.
- W2186613624 cites W1490038304 @default.
- W2186613624 cites W1513488242 @default.
- W2186613624 cites W1522223086 @default.
- W2186613624 cites W1534335973 @default.
- W2186613624 cites W1553894716 @default.
- W2186613624 cites W1720848645 @default.
- W2186613624 cites W1845288303 @default.
- W2186613624 cites W1912090184 @default.
- W2186613624 cites W1978200607 @default.
- W2186613624 cites W1983878972 @default.
- W2186613624 cites W1986453394 @default.
- W2186613624 cites W1993151440 @default.
- W2186613624 cites W1999336811 @default.
- W2186613624 cites W2000804855 @default.
- W2186613624 cites W2002219805 @default.
- W2186613624 cites W2006599089 @default.
- W2186613624 cites W2012301138 @default.
- W2186613624 cites W201784039 @default.
- W2186613624 cites W2052363833 @default.
- W2186613624 cites W2054450126 @default.
- W2186613624 cites W2054920589 @default.
- W2186613624 cites W2065675749 @default.
- W2186613624 cites W2076062002 @default.
- W2186613624 cites W2087252615 @default.
- W2186613624 cites W2089139117 @default.
- W2186613624 cites W2093415968 @default.
- W2186613624 cites W2094160561 @default.
- W2186613624 cites W2098681203 @default.
- W2186613624 cites W2101134527 @default.
- W2186613624 cites W2117009500 @default.
- W2186613624 cites W2118447204 @default.
- W2186613624 cites W2119467398 @default.
- W2186613624 cites W2121059325 @default.
- W2186613624 cites W2124877509 @default.
- W2186613624 cites W2135642703 @default.
- W2186613624 cites W2145587189 @default.
- W2186613624 cites W2148796418 @default.
- W2186613624 cites W2162120832 @default.
- W2186613624 cites W2162284942 @default.
- W2186613624 cites W2164989576 @default.
- W2186613624 cites W2166985644 @default.
- W2186613624 cites W2171480813 @default.
- W2186613624 cites W2171683519 @default.
- W2186613624 cites W2293287097 @default.
- W2186613624 cites W2293879310 @default.
- W2186613624 cites W2295885203 @default.
- W2186613624 cites W2338584033 @default.
- W2186613624 hasPublicationYear "2009" @default.
- W2186613624 type Work @default.
- W2186613624 sameAs 2186613624 @default.
- W2186613624 citedByCount "0" @default.
- W2186613624 crossrefType "journal-article" @default.
- W2186613624 hasAuthorship W2186613624A5000730993 @default.
- W2186613624 hasConcept C101468663 @default.
- W2186613624 hasConcept C111919701 @default.
- W2186613624 hasConcept C113843644 @default.
- W2186613624 hasConcept C115903868 @default.
- W2186613624 hasConcept C129307140 @default.
- W2186613624 hasConcept C157915830 @default.
- W2186613624 hasConcept C199360897 @default.
- W2186613624 hasConcept C204321447 @default.
- W2186613624 hasConcept C2777904410 @default.
- W2186613624 hasConcept C41008148 @default.
- W2186613624 hasConcept C53893814 @default.
- W2186613624 hasConceptScore W2186613624C101468663 @default.
- W2186613624 hasConceptScore W2186613624C111919701 @default.
- W2186613624 hasConceptScore W2186613624C113843644 @default.
- W2186613624 hasConceptScore W2186613624C115903868 @default.
- W2186613624 hasConceptScore W2186613624C129307140 @default.
- W2186613624 hasConceptScore W2186613624C157915830 @default.
- W2186613624 hasConceptScore W2186613624C199360897 @default.
- W2186613624 hasConceptScore W2186613624C204321447 @default.
- W2186613624 hasConceptScore W2186613624C2777904410 @default.
- W2186613624 hasConceptScore W2186613624C41008148 @default.
- W2186613624 hasConceptScore W2186613624C53893814 @default.
- W2186613624 hasLocation W21866136241 @default.
- W2186613624 hasOpenAccess W2186613624 @default.
- W2186613624 hasPrimaryLocation W21866136241 @default.
- W2186613624 hasRelatedWork W1506043325 @default.
- W2186613624 hasRelatedWork W1598111966 @default.
- W2186613624 hasRelatedWork W1937324179 @default.
- W2186613624 hasRelatedWork W1952641766 @default.
- W2186613624 hasRelatedWork W2004066214 @default.
- W2186613624 hasRelatedWork W2045491902 @default.
- W2186613624 hasRelatedWork W2057956383 @default.
- W2186613624 hasRelatedWork W2076088343 @default.
- W2186613624 hasRelatedWork W2084715426 @default.
- W2186613624 hasRelatedWork W2095240936 @default.
- W2186613624 hasRelatedWork W2117410139 @default.
- W2186613624 hasRelatedWork W2123598699 @default.
- W2186613624 hasRelatedWork W2151381014 @default.
- W2186613624 hasRelatedWork W2163104689 @default.
- W2186613624 hasRelatedWork W2293341276 @default.
- W2186613624 hasRelatedWork W274621021 @default.
- W2186613624 hasRelatedWork W3146122321 @default.