Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012102976> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W2012102976 endingPage "58" @default.
- W2012102976 startingPage "50" @default.
- W2012102976 created "2016-06-24" @default.
- W2012102976 creator A5056755459 @default.
- W2012102976 date "1978-01-01" @default.
- W2012102976 modified "2023-09-27" @default.
- W2012102976 title "A method for proving the correctness of programs" @default.
- W2012102976 cites W2032847002 @default.
- W2012102976 cites W97894006 @default.
- W2012102976 doi "https://doi.org/10.1007/bf01207123" @default.
- W2012102976 hasPublicationYear "1978" @default.
- W2012102976 type Work @default.
- W2012102976 sameAs 2012102976 @default.
- W2012102976 citedByCount "1" @default.
- W2012102976 crossrefType "journal-article" @default.
- W2012102976 hasAuthorship W2012102976A5056755459 @default.
- W2012102976 hasConcept C199360897 @default.
- W2012102976 hasConcept C41008148 @default.
- W2012102976 hasConcept C55439883 @default.
- W2012102976 hasConceptScore W2012102976C199360897 @default.
- W2012102976 hasConceptScore W2012102976C41008148 @default.
- W2012102976 hasConceptScore W2012102976C55439883 @default.
- W2012102976 hasIssue "1" @default.
- W2012102976 hasLocation W20121029761 @default.
- W2012102976 hasOpenAccess W2012102976 @default.
- W2012102976 hasPrimaryLocation W20121029761 @default.
- W2012102976 hasRelatedWork W102602169 @default.
- W2012102976 hasRelatedWork W148137892 @default.
- W2012102976 hasRelatedWork W1987168282 @default.
- W2012102976 hasRelatedWork W1998142155 @default.
- W2012102976 hasRelatedWork W1998394767 @default.
- W2012102976 hasRelatedWork W2000886404 @default.
- W2012102976 hasRelatedWork W2008129485 @default.
- W2012102976 hasRelatedWork W2019702440 @default.
- W2012102976 hasRelatedWork W2024518370 @default.
- W2012102976 hasRelatedWork W2032030708 @default.
- W2012102976 hasRelatedWork W2045082078 @default.
- W2012102976 hasRelatedWork W2051931469 @default.
- W2012102976 hasRelatedWork W2057293782 @default.
- W2012102976 hasRelatedWork W2071216982 @default.
- W2012102976 hasRelatedWork W2085425615 @default.
- W2012102976 hasRelatedWork W2087503898 @default.
- W2012102976 hasRelatedWork W2094967240 @default.
- W2012102976 hasRelatedWork W2331642063 @default.
- W2012102976 hasRelatedWork W77427702 @default.
- W2012102976 hasRelatedWork W89878160 @default.
- W2012102976 hasVolume "14" @default.
- W2012102976 isParatext "false" @default.
- W2012102976 isRetracted "false" @default.
- W2012102976 magId "2012102976" @default.
- W2012102976 workType "article" @default.