Matches in SemOpenAlex for { <https://semopenalex.org/work/W598950423> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W598950423 created "2016-06-24" @default.
- W598950423 creator A5045670125 @default.
- W598950423 date "1989-01-01" @default.
- W598950423 modified "2023-09-27" @default.
- W598950423 title "Program analysis and verification" @default.
- W598950423 cites W176324665 @default.
- W598950423 cites W1980767016 @default.
- W598950423 cites W2044838697 @default.
- W598950423 cites W2097223122 @default.
- W598950423 cites W2101512909 @default.
- W598950423 doi "https://doi.org/10.1007/978-1-4684-5775-9_8" @default.
- W598950423 hasPublicationYear "1989" @default.
- W598950423 type Work @default.
- W598950423 sameAs 598950423 @default.
- W598950423 citedByCount "9" @default.
- W598950423 crossrefType "book-chapter" @default.
- W598950423 hasAuthorship W598950423A5045670125 @default.
- W598950423 hasConcept C114408938 @default.
- W598950423 hasConcept C119263510 @default.
- W598950423 hasConcept C15077461 @default.
- W598950423 hasConcept C160145156 @default.
- W598950423 hasConcept C169590947 @default.
- W598950423 hasConcept C184337299 @default.
- W598950423 hasConcept C199360897 @default.
- W598950423 hasConcept C204321447 @default.
- W598950423 hasConcept C2776411971 @default.
- W598950423 hasConcept C34165917 @default.
- W598950423 hasConcept C41008148 @default.
- W598950423 hasConcept C50033165 @default.
- W598950423 hasConcept C60048249 @default.
- W598950423 hasConceptScore W598950423C114408938 @default.
- W598950423 hasConceptScore W598950423C119263510 @default.
- W598950423 hasConceptScore W598950423C15077461 @default.
- W598950423 hasConceptScore W598950423C160145156 @default.
- W598950423 hasConceptScore W598950423C169590947 @default.
- W598950423 hasConceptScore W598950423C184337299 @default.
- W598950423 hasConceptScore W598950423C199360897 @default.
- W598950423 hasConceptScore W598950423C204321447 @default.
- W598950423 hasConceptScore W598950423C2776411971 @default.
- W598950423 hasConceptScore W598950423C34165917 @default.
- W598950423 hasConceptScore W598950423C41008148 @default.
- W598950423 hasConceptScore W598950423C50033165 @default.
- W598950423 hasConceptScore W598950423C60048249 @default.
- W598950423 hasLocation W5989504231 @default.
- W598950423 hasOpenAccess W598950423 @default.
- W598950423 hasPrimaryLocation W5989504231 @default.
- W598950423 hasRelatedWork W125811839 @default.
- W598950423 hasRelatedWork W1484846064 @default.
- W598950423 hasRelatedWork W1511110335 @default.
- W598950423 hasRelatedWork W1585183969 @default.
- W598950423 hasRelatedWork W1662824547 @default.
- W598950423 hasRelatedWork W188282463 @default.
- W598950423 hasRelatedWork W2012567572 @default.
- W598950423 hasRelatedWork W2016444786 @default.
- W598950423 hasRelatedWork W2035529004 @default.
- W598950423 hasRelatedWork W2074630311 @default.
- W598950423 hasRelatedWork W2096734722 @default.
- W598950423 hasRelatedWork W2153947295 @default.
- W598950423 hasRelatedWork W2294465306 @default.
- W598950423 hasRelatedWork W2430362266 @default.
- W598950423 hasRelatedWork W2471418780 @default.
- W598950423 hasRelatedWork W25038600 @default.
- W598950423 hasRelatedWork W2561365607 @default.
- W598950423 hasRelatedWork W2792658935 @default.
- W598950423 hasRelatedWork W2796440538 @default.
- W598950423 hasRelatedWork W2977019603 @default.
- W598950423 isParatext "false" @default.
- W598950423 isRetracted "false" @default.
- W598950423 magId "598950423" @default.
- W598950423 workType "book-chapter" @default.