Matches in SemOpenAlex for { <https://semopenalex.org/work/W2917179461> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2917179461 abstract "Contents Theory and techniques for building a basic program verifier for a language with references to dynamically allocated objects A specification style and encoding thereof" @default.
- W2917179461 created "2019-03-02" @default.
- W2917179461 creator A5030991503 @default.
- W2917179461 date "2008-08-11" @default.
- W2917179461 modified "2023-09-27" @default.
- W2917179461 title "Specification and Verification of Object-Oriented Software (Part 4)" @default.
- W2917179461 hasPublicationYear "2008" @default.
- W2917179461 type Work @default.
- W2917179461 sameAs 2917179461 @default.
- W2917179461 citedByCount "0" @default.
- W2917179461 crossrefType "journal-article" @default.
- W2917179461 hasAuthorship W2917179461A5030991503 @default.
- W2917179461 hasConcept C115903868 @default.
- W2917179461 hasConcept C154945302 @default.
- W2917179461 hasConcept C186846655 @default.
- W2917179461 hasConcept C199360897 @default.
- W2917179461 hasConcept C2777904410 @default.
- W2917179461 hasConcept C2781238097 @default.
- W2917179461 hasConcept C33054407 @default.
- W2917179461 hasConcept C41008148 @default.
- W2917179461 hasConcept C529173508 @default.
- W2917179461 hasConceptScore W2917179461C115903868 @default.
- W2917179461 hasConceptScore W2917179461C154945302 @default.
- W2917179461 hasConceptScore W2917179461C186846655 @default.
- W2917179461 hasConceptScore W2917179461C199360897 @default.
- W2917179461 hasConceptScore W2917179461C2777904410 @default.
- W2917179461 hasConceptScore W2917179461C2781238097 @default.
- W2917179461 hasConceptScore W2917179461C33054407 @default.
- W2917179461 hasConceptScore W2917179461C41008148 @default.
- W2917179461 hasConceptScore W2917179461C529173508 @default.
- W2917179461 hasLocation W29171794611 @default.
- W2917179461 hasOpenAccess W2917179461 @default.
- W2917179461 hasPrimaryLocation W29171794611 @default.
- W2917179461 hasRelatedWork W1497840196 @default.
- W2917179461 hasRelatedWork W1540499553 @default.
- W2917179461 hasRelatedWork W1552111295 @default.
- W2917179461 hasRelatedWork W1585325803 @default.
- W2917179461 hasRelatedWork W1597211849 @default.
- W2917179461 hasRelatedWork W1648468328 @default.
- W2917179461 hasRelatedWork W1964691584 @default.
- W2917179461 hasRelatedWork W1971352189 @default.
- W2917179461 hasRelatedWork W2039811272 @default.
- W2917179461 hasRelatedWork W2122291521 @default.
- W2917179461 hasRelatedWork W2137095494 @default.
- W2917179461 hasRelatedWork W2138018055 @default.
- W2917179461 hasRelatedWork W2145262549 @default.
- W2917179461 hasRelatedWork W2159698722 @default.
- W2917179461 hasRelatedWork W2392883878 @default.
- W2917179461 hasRelatedWork W2537193390 @default.
- W2917179461 hasRelatedWork W2584604618 @default.
- W2917179461 hasRelatedWork W2915212914 @default.
- W2917179461 hasRelatedWork W1894706647 @default.
- W2917179461 hasRelatedWork W2859467618 @default.
- W2917179461 isParatext "false" @default.
- W2917179461 isRetracted "false" @default.
- W2917179461 magId "2917179461" @default.
- W2917179461 workType "article" @default.