Matches in SemOpenAlex for { <https://semopenalex.org/work/W1738704815> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W1738704815 created "2016-06-24" @default.
- W1738704815 creator A5009725234 @default.
- W1738704815 creator A5032188255 @default.
- W1738704815 creator A5037173986 @default.
- W1738704815 date "1987-03-01" @default.
- W1738704815 modified "2023-09-27" @default.
- W1738704815 title "The foundations of program verification (2nd ed.)" @default.
- W1738704815 hasPublicationYear "1987" @default.
- W1738704815 type Work @default.
- W1738704815 sameAs 1738704815 @default.
- W1738704815 citedByCount "19" @default.
- W1738704815 crossrefType "book" @default.
- W1738704815 hasAuthorship W1738704815A5009725234 @default.
- W1738704815 hasAuthorship W1738704815A5032188255 @default.
- W1738704815 hasAuthorship W1738704815A5037173986 @default.
- W1738704815 hasConcept C41008148 @default.
- W1738704815 hasConceptScore W1738704815C41008148 @default.
- W1738704815 hasLocation W17387048151 @default.
- W1738704815 hasOpenAccess W1738704815 @default.
- W1738704815 hasPrimaryLocation W17387048151 @default.
- W1738704815 hasRelatedWork W132429414 @default.
- W1738704815 hasRelatedWork W1521505629 @default.
- W1738704815 hasRelatedWork W1579433101 @default.
- W1738704815 hasRelatedWork W186542999 @default.
- W1738704815 hasRelatedWork W2075350371 @default.
- W1738704815 hasRelatedWork W2103953153 @default.
- W1738704815 hasRelatedWork W2111619838 @default.
- W1738704815 hasRelatedWork W2147543351 @default.
- W1738704815 hasRelatedWork W2242456084 @default.
- W1738704815 hasRelatedWork W2251378108 @default.
- W1738704815 hasRelatedWork W2319955929 @default.
- W1738704815 hasRelatedWork W2521275015 @default.
- W1738704815 hasRelatedWork W2579065730 @default.
- W1738704815 hasRelatedWork W2911503769 @default.
- W1738704815 hasRelatedWork W3144368627 @default.
- W1738704815 hasRelatedWork W3146075203 @default.
- W1738704815 hasRelatedWork W48767464 @default.
- W1738704815 hasRelatedWork W65399556 @default.
- W1738704815 hasRelatedWork W69523675 @default.
- W1738704815 hasRelatedWork W3082082082 @default.
- W1738704815 isParatext "false" @default.
- W1738704815 isRetracted "false" @default.
- W1738704815 magId "1738704815" @default.
- W1738704815 workType "book" @default.