Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012152371> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2012152371 endingPage "8" @default.
- W2012152371 startingPage "1" @default.
- W2012152371 abstract "research-article The verified software initiative: A manifesto Authors: C.A.R. Hoare Microsoft Research Microsoft ResearchView Profile , Jayadev Misra The University of Texas at Austin The University of Texas at AustinView Profile , Gary T. Leavens Iowa State University Iowa State UniversityView Profile , Natarajan Shankar SRI International Computer Science Laboratory SRI International Computer Science LaboratoryView Profile Authors Info & Claims ACM Computing SurveysVolume 41Issue 4October 2009 Article No.: 22pp 1–8https://doi.org/10.1145/1592434.1592439Published:09 October 2009Publication History 32citation2,005DownloadsMetricsTotal Citations32Total Downloads2,005Last 12 Months29Last 6 weeks8 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access" @default.
- W2012152371 created "2016-06-24" @default.
- W2012152371 creator A5014066009 @default.
- W2012152371 creator A5052847689 @default.
- W2012152371 creator A5062846068 @default.
- W2012152371 creator A5079528906 @default.
- W2012152371 date "2009-10-01" @default.
- W2012152371 modified "2023-10-17" @default.
- W2012152371 title "The verified software initiative" @default.
- W2012152371 doi "https://doi.org/10.1145/1592434.1592439" @default.
- W2012152371 hasPublicationYear "2009" @default.
- W2012152371 type Work @default.
- W2012152371 sameAs 2012152371 @default.
- W2012152371 citedByCount "36" @default.
- W2012152371 countsByYear W20121523712012 @default.
- W2012152371 countsByYear W20121523712013 @default.
- W2012152371 countsByYear W20121523712014 @default.
- W2012152371 countsByYear W20121523712015 @default.
- W2012152371 countsByYear W20121523712016 @default.
- W2012152371 countsByYear W20121523712019 @default.
- W2012152371 countsByYear W20121523712020 @default.
- W2012152371 countsByYear W20121523712021 @default.
- W2012152371 crossrefType "journal-article" @default.
- W2012152371 hasAuthorship W2012152371A5014066009 @default.
- W2012152371 hasAuthorship W2012152371A5052847689 @default.
- W2012152371 hasAuthorship W2012152371A5062846068 @default.
- W2012152371 hasAuthorship W2012152371A5079528906 @default.
- W2012152371 hasConcept C111919701 @default.
- W2012152371 hasConcept C136764020 @default.
- W2012152371 hasConcept C161191863 @default.
- W2012152371 hasConcept C17744445 @default.
- W2012152371 hasConcept C199360897 @default.
- W2012152371 hasConcept C199539241 @default.
- W2012152371 hasConcept C2777904410 @default.
- W2012152371 hasConcept C2778805511 @default.
- W2012152371 hasConcept C2778896172 @default.
- W2012152371 hasConcept C41008148 @default.
- W2012152371 hasConcept C48103436 @default.
- W2012152371 hasConceptScore W2012152371C111919701 @default.
- W2012152371 hasConceptScore W2012152371C136764020 @default.
- W2012152371 hasConceptScore W2012152371C161191863 @default.
- W2012152371 hasConceptScore W2012152371C17744445 @default.
- W2012152371 hasConceptScore W2012152371C199360897 @default.
- W2012152371 hasConceptScore W2012152371C199539241 @default.
- W2012152371 hasConceptScore W2012152371C2777904410 @default.
- W2012152371 hasConceptScore W2012152371C2778805511 @default.
- W2012152371 hasConceptScore W2012152371C2778896172 @default.
- W2012152371 hasConceptScore W2012152371C41008148 @default.
- W2012152371 hasConceptScore W2012152371C48103436 @default.
- W2012152371 hasFunder F4320306076 @default.
- W2012152371 hasIssue "4" @default.
- W2012152371 hasLocation W20121523711 @default.
- W2012152371 hasOpenAccess W2012152371 @default.
- W2012152371 hasPrimaryLocation W20121523711 @default.
- W2012152371 hasRelatedWork W2060041177 @default.
- W2012152371 hasRelatedWork W2322382814 @default.
- W2012152371 hasRelatedWork W2323581027 @default.
- W2012152371 hasRelatedWork W2507901011 @default.
- W2012152371 hasRelatedWork W2559452788 @default.
- W2012152371 hasRelatedWork W2748952813 @default.
- W2012152371 hasRelatedWork W2914402367 @default.
- W2012152371 hasRelatedWork W4231226515 @default.
- W2012152371 hasRelatedWork W4241444200 @default.
- W2012152371 hasRelatedWork W646540110 @default.
- W2012152371 hasVolume "41" @default.
- W2012152371 isParatext "false" @default.
- W2012152371 isRetracted "false" @default.
- W2012152371 magId "2012152371" @default.
- W2012152371 workType "article" @default.