Matches in SemOpenAlex for { <https://semopenalex.org/work/W2033820912> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2033820912 endingPage "307" @default.
- W2033820912 startingPage "283" @default.
- W2033820912 created "2016-06-24" @default.
- W2033820912 creator A5044261720 @default.
- W2033820912 date "1992-08-01" @default.
- W2033820912 modified "2023-09-27" @default.
- W2033820912 title "Deductive program verification (a practitioner's commentary)" @default.
- W2033820912 cites W2096360482 @default.
- W2033820912 cites W2998385477 @default.
- W2033820912 cites W4205604325 @default.
- W2033820912 cites W4235903219 @default.
- W2033820912 doi "https://doi.org/10.1007/bf02454224" @default.
- W2033820912 hasPublicationYear "1992" @default.
- W2033820912 type Work @default.
- W2033820912 sameAs 2033820912 @default.
- W2033820912 citedByCount "11" @default.
- W2033820912 countsByYear W20338209122014 @default.
- W2033820912 countsByYear W20338209122019 @default.
- W2033820912 crossrefType "journal-article" @default.
- W2033820912 hasAuthorship W2033820912A5044261720 @default.
- W2033820912 hasConcept C111472728 @default.
- W2033820912 hasConcept C124304363 @default.
- W2033820912 hasConcept C138885662 @default.
- W2033820912 hasConcept C151730666 @default.
- W2033820912 hasConcept C160145156 @default.
- W2033820912 hasConcept C199360897 @default.
- W2033820912 hasConcept C24858836 @default.
- W2033820912 hasConcept C2777026412 @default.
- W2033820912 hasConcept C2779343474 @default.
- W2033820912 hasConcept C33923547 @default.
- W2033820912 hasConcept C41008148 @default.
- W2033820912 hasConcept C45357846 @default.
- W2033820912 hasConcept C55439883 @default.
- W2033820912 hasConcept C80444323 @default.
- W2033820912 hasConcept C86803240 @default.
- W2033820912 hasConcept C94375191 @default.
- W2033820912 hasConcept C98183937 @default.
- W2033820912 hasConceptScore W2033820912C111472728 @default.
- W2033820912 hasConceptScore W2033820912C124304363 @default.
- W2033820912 hasConceptScore W2033820912C138885662 @default.
- W2033820912 hasConceptScore W2033820912C151730666 @default.
- W2033820912 hasConceptScore W2033820912C160145156 @default.
- W2033820912 hasConceptScore W2033820912C199360897 @default.
- W2033820912 hasConceptScore W2033820912C24858836 @default.
- W2033820912 hasConceptScore W2033820912C2777026412 @default.
- W2033820912 hasConceptScore W2033820912C2779343474 @default.
- W2033820912 hasConceptScore W2033820912C33923547 @default.
- W2033820912 hasConceptScore W2033820912C41008148 @default.
- W2033820912 hasConceptScore W2033820912C45357846 @default.
- W2033820912 hasConceptScore W2033820912C55439883 @default.
- W2033820912 hasConceptScore W2033820912C80444323 @default.
- W2033820912 hasConceptScore W2033820912C86803240 @default.
- W2033820912 hasConceptScore W2033820912C94375191 @default.
- W2033820912 hasConceptScore W2033820912C98183937 @default.
- W2033820912 hasIssue "3" @default.
- W2033820912 hasLocation W20338209121 @default.
- W2033820912 hasOpenAccess W2033820912 @default.
- W2033820912 hasPrimaryLocation W20338209121 @default.
- W2033820912 hasRelatedWork W1501686914 @default.
- W2033820912 hasRelatedWork W150776420 @default.
- W2033820912 hasRelatedWork W1705210632 @default.
- W2033820912 hasRelatedWork W1820726602 @default.
- W2033820912 hasRelatedWork W1985540822 @default.
- W2033820912 hasRelatedWork W1996037542 @default.
- W2033820912 hasRelatedWork W2007773203 @default.
- W2033820912 hasRelatedWork W2012220159 @default.
- W2033820912 hasRelatedWork W2038275022 @default.
- W2033820912 hasRelatedWork W2101001750 @default.
- W2033820912 hasRelatedWork W2329798890 @default.
- W2033820912 hasRelatedWork W2390607114 @default.
- W2033820912 hasRelatedWork W2564522303 @default.
- W2033820912 hasRelatedWork W2611140638 @default.
- W2033820912 hasRelatedWork W2775903035 @default.
- W2033820912 hasRelatedWork W2886431776 @default.
- W2033820912 hasRelatedWork W2970480852 @default.
- W2033820912 hasRelatedWork W2978995391 @default.
- W2033820912 hasRelatedWork W3009223079 @default.
- W2033820912 hasRelatedWork W3186384157 @default.
- W2033820912 hasVolume "2" @default.
- W2033820912 isParatext "false" @default.
- W2033820912 isRetracted "false" @default.
- W2033820912 magId "2033820912" @default.
- W2033820912 workType "article" @default.