Matches in SemOpenAlex for { <https://semopenalex.org/work/W2055095027> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2055095027 endingPage "778" @default.
- W2055095027 startingPage "705" @default.
- W2055095027 created "2016-06-24" @default.
- W2055095027 creator A5014066009 @default.
- W2055095027 creator A5023109253 @default.
- W2055095027 date "1995-08-01" @default.
- W2055095027 modified "2023-10-17" @default.
- W2055095027 title "Specification and verification of object-oriented programs using supertype abstraction" @default.
- W2055095027 cites W1519382205 @default.
- W2055095027 cites W1532119401 @default.
- W2055095027 cites W1540323172 @default.
- W2055095027 cites W1583095677 @default.
- W2055095027 cites W1583355384 @default.
- W2055095027 cites W1591007360 @default.
- W2055095027 cites W1965297988 @default.
- W2055095027 cites W1979366339 @default.
- W2055095027 cites W1988698742 @default.
- W2055095027 cites W1997522747 @default.
- W2055095027 cites W2013492611 @default.
- W2055095027 cites W2027657506 @default.
- W2055095027 cites W2027949780 @default.
- W2055095027 cites W2036169321 @default.
- W2055095027 cites W2038497675 @default.
- W2055095027 cites W2055691648 @default.
- W2055095027 cites W2065927961 @default.
- W2055095027 cites W2075350371 @default.
- W2055095027 cites W2076212401 @default.
- W2055095027 cites W2106472587 @default.
- W2055095027 cites W2114958714 @default.
- W2055095027 cites W2132055297 @default.
- W2055095027 cites W2146998551 @default.
- W2055095027 cites W2168468191 @default.
- W2055095027 cites W2295902379 @default.
- W2055095027 cites W2686043342 @default.
- W2055095027 cites W3156805024 @default.
- W2055095027 cites W3161600003 @default.
- W2055095027 cites W4213165878 @default.
- W2055095027 cites W4235875457 @default.
- W2055095027 cites W4251644591 @default.
- W2055095027 cites W4254949650 @default.
- W2055095027 cites W4296415990 @default.
- W2055095027 cites W4300128858 @default.
- W2055095027 cites W48939354 @default.
- W2055095027 cites W58233137 @default.
- W2055095027 doi "https://doi.org/10.1007/bf01178658" @default.
- W2055095027 hasPublicationYear "1995" @default.
- W2055095027 type Work @default.
- W2055095027 sameAs 2055095027 @default.
- W2055095027 citedByCount "68" @default.
- W2055095027 countsByYear W20550950272012 @default.
- W2055095027 countsByYear W20550950272013 @default.
- W2055095027 countsByYear W20550950272015 @default.
- W2055095027 countsByYear W20550950272016 @default.
- W2055095027 countsByYear W20550950272017 @default.
- W2055095027 countsByYear W20550950272018 @default.
- W2055095027 countsByYear W20550950272022 @default.
- W2055095027 crossrefType "journal-article" @default.
- W2055095027 hasAuthorship W2055095027A5014066009 @default.
- W2055095027 hasAuthorship W2055095027A5023109253 @default.
- W2055095027 hasConcept C111498074 @default.
- W2055095027 hasConcept C173856430 @default.
- W2055095027 hasConcept C199360897 @default.
- W2055095027 hasConcept C39920170 @default.
- W2055095027 hasConcept C41008148 @default.
- W2055095027 hasConcept C73752529 @default.
- W2055095027 hasConcept C80444323 @default.
- W2055095027 hasConcept C83852419 @default.
- W2055095027 hasConceptScore W2055095027C111498074 @default.
- W2055095027 hasConceptScore W2055095027C173856430 @default.
- W2055095027 hasConceptScore W2055095027C199360897 @default.
- W2055095027 hasConceptScore W2055095027C39920170 @default.
- W2055095027 hasConceptScore W2055095027C41008148 @default.
- W2055095027 hasConceptScore W2055095027C73752529 @default.
- W2055095027 hasConceptScore W2055095027C80444323 @default.
- W2055095027 hasConceptScore W2055095027C83852419 @default.
- W2055095027 hasIssue "8" @default.
- W2055095027 hasLocation W20550950271 @default.
- W2055095027 hasOpenAccess W2055095027 @default.
- W2055095027 hasPrimaryLocation W20550950271 @default.
- W2055095027 hasRelatedWork W1620267008 @default.
- W2055095027 hasRelatedWork W1918806322 @default.
- W2055095027 hasRelatedWork W2055095027 @default.
- W2055095027 hasRelatedWork W2165970356 @default.
- W2055095027 hasRelatedWork W2297946074 @default.
- W2055095027 hasRelatedWork W2470134333 @default.
- W2055095027 hasRelatedWork W2974020630 @default.
- W2055095027 hasRelatedWork W3148010226 @default.
- W2055095027 hasRelatedWork W4237428255 @default.
- W2055095027 hasRelatedWork W4247729430 @default.
- W2055095027 hasVolume "32" @default.
- W2055095027 isParatext "false" @default.
- W2055095027 isRetracted "false" @default.
- W2055095027 magId "2055095027" @default.
- W2055095027 workType "article" @default.