Matches in SemOpenAlex for { <https://semopenalex.org/work/W2784060175> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2784060175 endingPage "416" @default.
- W2784060175 startingPage "402" @default.
- W2784060175 created "2018-01-26" @default.
- W2784060175 creator A5031845146 @default.
- W2784060175 creator A5063500260 @default.
- W2784060175 date "2018-01-01" @default.
- W2784060175 modified "2023-10-01" @default.
- W2784060175 title "Towards Automated Static Verification of GNU C Programs" @default.
- W2784060175 cites W1520219097 @default.
- W2784060175 cites W1583869287 @default.
- W2784060175 cites W1968755402 @default.
- W2784060175 cites W2026575038 @default.
- W2784060175 cites W2027179699 @default.
- W2784060175 cites W2056626276 @default.
- W2784060175 cites W2086631793 @default.
- W2784060175 cites W2088855835 @default.
- W2784060175 cites W2096146112 @default.
- W2784060175 cites W2105614525 @default.
- W2784060175 cites W2107089133 @default.
- W2784060175 cites W2113164299 @default.
- W2784060175 cites W2127574686 @default.
- W2784060175 cites W2129538349 @default.
- W2784060175 cites W2161253570 @default.
- W2784060175 cites W2232378406 @default.
- W2784060175 cites W2286950818 @default.
- W2784060175 cites W2323226629 @default.
- W2784060175 cites W2487423667 @default.
- W2784060175 cites W2498141432 @default.
- W2784060175 cites W2512592054 @default.
- W2784060175 cites W2547104021 @default.
- W2784060175 cites W2548985278 @default.
- W2784060175 cites W2603044584 @default.
- W2784060175 cites W2776600988 @default.
- W2784060175 cites W2779220970 @default.
- W2784060175 cites W95161029 @default.
- W2784060175 doi "https://doi.org/10.1007/978-3-319-74313-4_30" @default.
- W2784060175 hasPublicationYear "2018" @default.
- W2784060175 type Work @default.
- W2784060175 sameAs 2784060175 @default.
- W2784060175 citedByCount "7" @default.
- W2784060175 countsByYear W27840601752018 @default.
- W2784060175 countsByYear W27840601752019 @default.
- W2784060175 countsByYear W27840601752020 @default.
- W2784060175 countsByYear W27840601752022 @default.
- W2784060175 crossrefType "book-chapter" @default.
- W2784060175 hasAuthorship W2784060175A5031845146 @default.
- W2784060175 hasAuthorship W2784060175A5063500260 @default.
- W2784060175 hasConcept C111919701 @default.
- W2784060175 hasConcept C199360897 @default.
- W2784060175 hasConcept C41008148 @default.
- W2784060175 hasConceptScore W2784060175C111919701 @default.
- W2784060175 hasConceptScore W2784060175C199360897 @default.
- W2784060175 hasConceptScore W2784060175C41008148 @default.
- W2784060175 hasLocation W27840601751 @default.
- W2784060175 hasOpenAccess W2784060175 @default.
- W2784060175 hasPrimaryLocation W27840601751 @default.
- W2784060175 hasRelatedWork W1527862632 @default.
- W2784060175 hasRelatedWork W2008310423 @default.
- W2784060175 hasRelatedWork W2109507516 @default.
- W2784060175 hasRelatedWork W2112962394 @default.
- W2784060175 hasRelatedWork W2118300983 @default.
- W2784060175 hasRelatedWork W2135396778 @default.
- W2784060175 hasRelatedWork W2740990710 @default.
- W2784060175 hasRelatedWork W3137189469 @default.
- W2784060175 hasRelatedWork W4235530921 @default.
- W2784060175 hasRelatedWork W4243252198 @default.
- W2784060175 isParatext "false" @default.
- W2784060175 isRetracted "false" @default.
- W2784060175 magId "2784060175" @default.
- W2784060175 workType "book-chapter" @default.