SemOpenAlex |

SemOpenAlex

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2548383422> ?p ?o ?g. }

Showing items 1 to 100 of ±105 with 100 items per page.

W2548383422 created "2016-11-11" @default.
W2548383422 creator A5058389738 @default.
W2548383422 creator A5084249145 @default.
W2548383422 date "2010-06-01" @default.
W2548383422 modified "2023-09-24" @default.
W2548383422 title "Clousot: Static Contract Checking with Abstract Interpretation" @default.
W2548383422 cites W1481954153 @default.
W2548383422 cites W1518247129 @default.
W2548383422 cites W1525502778 @default.
W2548383422 cites W1532097571 @default.
W2548383422 cites W1540384105 @default.
W2548383422 cites W1549499870 @default.
W2548383422 cites W1568478782 @default.
W2548383422 cites W1606177908 @default.
W2548383422 cites W171295454 @default.
W2548383422 cites W1774989331 @default.
W2548383422 cites W1849426162 @default.
W2548383422 cites W1866100251 @default.
W2548383422 cites W1921152384 @default.
W2548383422 cites W1957766372 @default.
W2548383422 cites W1974133806 @default.
W2548383422 cites W1993836075 @default.
W2548383422 cites W2014764321 @default.
W2548383422 cites W2031373197 @default.
W2548383422 cites W2043100293 @default.
W2548383422 cites W2044870852 @default.
W2548383422 cites W2058094600 @default.
W2548383422 cites W2060697066 @default.
W2548383422 cites W2088667970 @default.
W2548383422 cites W2108241838 @default.
W2548383422 cites W2110311336 @default.
W2548383422 cites W2113159073 @default.
W2548383422 cites W2114614628 @default.
W2548383422 cites W2126594616 @default.
W2548383422 cites W2132251441 @default.
W2548383422 cites W2132661148 @default.
W2548383422 cites W2155772078 @default.
W2548383422 cites W2157324378 @default.
W2548383422 cites W2169309022 @default.
W2548383422 cites W2170736936 @default.
W2548383422 cites W3158747708 @default.
W2548383422 hasPublicationYear "2010" @default.
W2548383422 type Work @default.
W2548383422 sameAs 2548383422 @default.
W2548383422 citedByCount "3" @default.
W2548383422 countsByYear W25483834222015 @default.
W2548383422 countsByYear W25483834222020 @default.
W2548383422 crossrefType "journal-article" @default.
W2548383422 hasAuthorship W2548383422A5058389738 @default.
W2548383422 hasAuthorship W2548383422A5084249145 @default.
W2548383422 hasConcept C11413529 @default.
W2548383422 hasConcept C154945302 @default.
W2548383422 hasConcept C156325763 @default.
W2548383422 hasConcept C169590947 @default.
W2548383422 hasConcept C184337299 @default.
W2548383422 hasConcept C192465680 @default.
W2548383422 hasConcept C193702766 @default.
W2548383422 hasConcept C199360897 @default.
W2548383422 hasConcept C2776214188 @default.
W2548383422 hasConcept C2780654840 @default.
W2548383422 hasConcept C30128091 @default.
W2548383422 hasConcept C41008148 @default.
W2548383422 hasConcept C527412718 @default.
W2548383422 hasConcept C80444323 @default.
W2548383422 hasConceptScore W2548383422C11413529 @default.
W2548383422 hasConceptScore W2548383422C154945302 @default.
W2548383422 hasConceptScore W2548383422C156325763 @default.
W2548383422 hasConceptScore W2548383422C169590947 @default.
W2548383422 hasConceptScore W2548383422C184337299 @default.
W2548383422 hasConceptScore W2548383422C192465680 @default.
W2548383422 hasConceptScore W2548383422C193702766 @default.
W2548383422 hasConceptScore W2548383422C199360897 @default.
W2548383422 hasConceptScore W2548383422C2776214188 @default.
W2548383422 hasConceptScore W2548383422C2780654840 @default.
W2548383422 hasConceptScore W2548383422C30128091 @default.
W2548383422 hasConceptScore W2548383422C41008148 @default.
W2548383422 hasConceptScore W2548383422C527412718 @default.
W2548383422 hasConceptScore W2548383422C80444323 @default.
W2548383422 hasLocation W25483834221 @default.
W2548383422 hasOpenAccess W2548383422 @default.
W2548383422 hasPrimaryLocation W25483834221 @default.
W2548383422 hasRelatedWork W1493672765 @default.
W2548383422 hasRelatedWork W1541559884 @default.
W2548383422 hasRelatedWork W1595126969 @default.
W2548383422 hasRelatedWork W1647411879 @default.
W2548383422 hasRelatedWork W1657354101 @default.
W2548383422 hasRelatedWork W2023867746 @default.
W2548383422 hasRelatedWork W2055022721 @default.
W2548383422 hasRelatedWork W2163672449 @default.
W2548383422 hasRelatedWork W2224258380 @default.
W2548383422 hasRelatedWork W2269028567 @default.
W2548383422 hasRelatedWork W2271159262 @default.
W2548383422 hasRelatedWork W2567080712 @default.
W2548383422 hasRelatedWork W2803165154 @default.
W2548383422 hasRelatedWork W2887311172 @default.
W2548383422 hasRelatedWork W2909994498 @default.
W2548383422 hasRelatedWork W2950084655 @default.
W2548383422 hasRelatedWork W3099679831 @default.
W2548383422 hasRelatedWork W3102406088 @default.
W2548383422 hasRelatedWork W3149318823 @default.