Matches in SemOpenAlex for { <https://semopenalex.org/work/W4224912688> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4224912688 created "2022-04-27" @default.
- W4224912688 creator A5049665461 @default.
- W4224912688 creator A5057689302 @default.
- W4224912688 creator A5058282696 @default.
- W4224912688 creator A5070555506 @default.
- W4224912688 date "2022-06-01" @default.
- W4224912688 modified "2023-09-26" @default.
- W4224912688 title "Verifying Security Vulnerabilities in Open-Source Software via Bounded Model Checking" @default.
- W4224912688 doi "https://doi.org/10.5281/zenodo.6480486" @default.
- W4224912688 hasPublicationYear "2022" @default.
- W4224912688 type Work @default.
- W4224912688 citedByCount "0" @default.
- W4224912688 crossrefType "journal-article" @default.
- W4224912688 hasAuthorship W4224912688A5049665461 @default.
- W4224912688 hasAuthorship W4224912688A5057689302 @default.
- W4224912688 hasAuthorship W4224912688A5058282696 @default.
- W4224912688 hasAuthorship W4224912688A5070555506 @default.
- W4224912688 hasConcept C110251889 @default.
- W4224912688 hasConcept C131275738 @default.
- W4224912688 hasConcept C134306372 @default.
- W4224912688 hasConcept C199360897 @default.
- W4224912688 hasConcept C2777904410 @default.
- W4224912688 hasConcept C2988343187 @default.
- W4224912688 hasConcept C29983905 @default.
- W4224912688 hasConcept C3018397939 @default.
- W4224912688 hasConcept C33923547 @default.
- W4224912688 hasConcept C34388435 @default.
- W4224912688 hasConcept C38652104 @default.
- W4224912688 hasConcept C41008148 @default.
- W4224912688 hasConcept C527648132 @default.
- W4224912688 hasConcept C62913178 @default.
- W4224912688 hasConceptScore W4224912688C110251889 @default.
- W4224912688 hasConceptScore W4224912688C131275738 @default.
- W4224912688 hasConceptScore W4224912688C134306372 @default.
- W4224912688 hasConceptScore W4224912688C199360897 @default.
- W4224912688 hasConceptScore W4224912688C2777904410 @default.
- W4224912688 hasConceptScore W4224912688C2988343187 @default.
- W4224912688 hasConceptScore W4224912688C29983905 @default.
- W4224912688 hasConceptScore W4224912688C3018397939 @default.
- W4224912688 hasConceptScore W4224912688C33923547 @default.
- W4224912688 hasConceptScore W4224912688C34388435 @default.
- W4224912688 hasConceptScore W4224912688C38652104 @default.
- W4224912688 hasConceptScore W4224912688C41008148 @default.
- W4224912688 hasConceptScore W4224912688C527648132 @default.
- W4224912688 hasConceptScore W4224912688C62913178 @default.
- W4224912688 hasLocation W42249126881 @default.
- W4224912688 hasOpenAccess W4224912688 @default.
- W4224912688 hasPrimaryLocation W42249126881 @default.
- W4224912688 hasRelatedWork W2063058836 @default.
- W4224912688 hasRelatedWork W2096161827 @default.
- W4224912688 hasRelatedWork W2155206946 @default.
- W4224912688 hasRelatedWork W241834393 @default.
- W4224912688 hasRelatedWork W2802718294 @default.
- W4224912688 hasRelatedWork W2884642766 @default.
- W4224912688 hasRelatedWork W2982930565 @default.
- W4224912688 hasRelatedWork W3023846186 @default.
- W4224912688 hasRelatedWork W3134092678 @default.
- W4224912688 hasRelatedWork W4224912688 @default.
- W4224912688 isParatext "false" @default.
- W4224912688 isRetracted "false" @default.
- W4224912688 workType "article" @default.