Matches in SemOpenAlex for { <https://semopenalex.org/work/W4247729430> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W4247729430 endingPage "778" @default.
- W4247729430 startingPage "705" @default.
- W4247729430 created "2022-05-12" @default.
- W4247729430 creator A5014066009 @default.
- W4247729430 creator A5023109253 @default.
- W4247729430 date "1995-11-01" @default.
- W4247729430 modified "2023-10-17" @default.
- W4247729430 title "Specification and verification of object-oriented programs using supertype abstraction" @default.
- W4247729430 doi "https://doi.org/10.1007/s002360050032" @default.
- W4247729430 hasPublicationYear "1995" @default.
- W4247729430 type Work @default.
- W4247729430 citedByCount "5" @default.
- W4247729430 countsByYear W42477294302014 @default.
- W4247729430 crossrefType "journal-article" @default.
- W4247729430 hasAuthorship W4247729430A5014066009 @default.
- W4247729430 hasAuthorship W4247729430A5023109253 @default.
- W4247729430 hasConcept C111498074 @default.
- W4247729430 hasConcept C173856430 @default.
- W4247729430 hasConcept C199360897 @default.
- W4247729430 hasConcept C39920170 @default.
- W4247729430 hasConcept C41008148 @default.
- W4247729430 hasConcept C62460635 @default.
- W4247729430 hasConcept C80444323 @default.
- W4247729430 hasConcept C83852419 @default.
- W4247729430 hasConceptScore W4247729430C111498074 @default.
- W4247729430 hasConceptScore W4247729430C173856430 @default.
- W4247729430 hasConceptScore W4247729430C199360897 @default.
- W4247729430 hasConceptScore W4247729430C39920170 @default.
- W4247729430 hasConceptScore W4247729430C41008148 @default.
- W4247729430 hasConceptScore W4247729430C62460635 @default.
- W4247729430 hasConceptScore W4247729430C80444323 @default.
- W4247729430 hasConceptScore W4247729430C83852419 @default.
- W4247729430 hasIssue "8" @default.
- W4247729430 hasLocation W42477294301 @default.
- W4247729430 hasOpenAccess W4247729430 @default.
- W4247729430 hasPrimaryLocation W42477294301 @default.
- W4247729430 hasRelatedWork W1567479568 @default.
- W4247729430 hasRelatedWork W1573229708 @default.
- W4247729430 hasRelatedWork W1918806322 @default.
- W4247729430 hasRelatedWork W1982134454 @default.
- W4247729430 hasRelatedWork W2045388381 @default.
- W4247729430 hasRelatedWork W2055095027 @default.
- W4247729430 hasRelatedWork W2397718983 @default.
- W4247729430 hasRelatedWork W4247729430 @default.
- W4247729430 hasRelatedWork W47563837 @default.
- W4247729430 hasRelatedWork W98039524 @default.
- W4247729430 hasVolume "32" @default.
- W4247729430 isParatext "false" @default.
- W4247729430 isRetracted "false" @default.
- W4247729430 workType "article" @default.