Matches in SemOpenAlex for { <https://semopenalex.org/work/W2139635405> ?p ?o ?g. }
- W2139635405 abstract "The axiomatic approach functional correctness predicate transformers algebraic specifications denotational semantics specification models." @default.
- W2139635405 created "2016-06-24" @default.
- W2139635405 creator A5000843987 @default.
- W2139635405 creator A5004151621 @default.
- W2139635405 creator A5085037005 @default.
- W2139635405 date "1995-05-01" @default.
- W2139635405 modified "2023-09-24" @default.
- W2139635405 title "Software Specification: A Comparison of Formal Methods" @default.
- W2139635405 cites W1505238982 @default.
- W2139635405 cites W1513315908 @default.
- W2139635405 cites W1518828487 @default.
- W2139635405 cites W1525811688 @default.
- W2139635405 cites W1544872201 @default.
- W2139635405 cites W1557041095 @default.
- W2139635405 cites W1560929940 @default.
- W2139635405 cites W1607153301 @default.
- W2139635405 cites W1967938618 @default.
- W2139635405 cites W1968386045 @default.
- W2139635405 cites W1969857501 @default.
- W2139635405 cites W1970495662 @default.
- W2139635405 cites W1977012270 @default.
- W2139635405 cites W1979101142 @default.
- W2139635405 cites W1988651604 @default.
- W2139635405 cites W1992371661 @default.
- W2139635405 cites W1995925686 @default.
- W2139635405 cites W2008395018 @default.
- W2139635405 cites W2015874281 @default.
- W2139635405 cites W2019389359 @default.
- W2139635405 cites W2021173362 @default.
- W2139635405 cites W2029126323 @default.
- W2139635405 cites W2030926579 @default.
- W2139635405 cites W2048168398 @default.
- W2139635405 cites W2051616332 @default.
- W2139635405 cites W2056016391 @default.
- W2139635405 cites W2066210260 @default.
- W2139635405 cites W2068356696 @default.
- W2139635405 cites W2069300761 @default.
- W2139635405 cites W2070683379 @default.
- W2139635405 cites W2075350371 @default.
- W2139635405 cites W2077359497 @default.
- W2139635405 cites W2084291524 @default.
- W2139635405 cites W2087969121 @default.
- W2139635405 cites W2094874241 @default.
- W2139635405 cites W2095224573 @default.
- W2139635405 cites W2103953153 @default.
- W2139635405 cites W2110795198 @default.
- W2139635405 cites W2111706174 @default.
- W2139635405 cites W2115592109 @default.
- W2139635405 cites W2123464354 @default.
- W2139635405 cites W2129544368 @default.
- W2139635405 cites W2130681969 @default.
- W2139635405 cites W2134338128 @default.
- W2139635405 cites W2134630546 @default.
- W2139635405 cites W2144967511 @default.
- W2139635405 cites W2145664928 @default.
- W2139635405 cites W2146998551 @default.
- W2139635405 cites W2147543351 @default.
- W2139635405 cites W2159709550 @default.
- W2139635405 cites W2163568761 @default.
- W2139635405 cites W2165518126 @default.
- W2139635405 cites W2166656159 @default.
- W2139635405 cites W2170486381 @default.
- W2139635405 cites W2336485197 @default.
- W2139635405 cites W2498360300 @default.
- W2139635405 cites W2798976225 @default.
- W2139635405 cites W2913200164 @default.
- W2139635405 cites W2987803397 @default.
- W2139635405 cites W3145405294 @default.
- W2139635405 cites W2726965111 @default.
- W2139635405 hasPublicationYear "1995" @default.
- W2139635405 type Work @default.
- W2139635405 sameAs 2139635405 @default.
- W2139635405 citedByCount "18" @default.
- W2139635405 countsByYear W21396354052012 @default.
- W2139635405 countsByYear W21396354052013 @default.
- W2139635405 crossrefType "book" @default.
- W2139635405 hasAuthorship W2139635405A5000843987 @default.
- W2139635405 hasAuthorship W2139635405A5004151621 @default.
- W2139635405 hasAuthorship W2139635405A5085037005 @default.
- W2139635405 hasConcept C115903868 @default.
- W2139635405 hasConcept C199360897 @default.
- W2139635405 hasConcept C41008148 @default.
- W2139635405 hasConcept C75606506 @default.
- W2139635405 hasConceptScore W2139635405C115903868 @default.
- W2139635405 hasConceptScore W2139635405C199360897 @default.
- W2139635405 hasConceptScore W2139635405C41008148 @default.
- W2139635405 hasConceptScore W2139635405C75606506 @default.
- W2139635405 hasLocation W21396354051 @default.
- W2139635405 hasOpenAccess W2139635405 @default.
- W2139635405 hasPrimaryLocation W21396354051 @default.
- W2139635405 hasRelatedWork W1489799785 @default.
- W2139635405 hasRelatedWork W1563875108 @default.
- W2139635405 hasRelatedWork W1585277884 @default.
- W2139635405 hasRelatedWork W1916978746 @default.
- W2139635405 hasRelatedWork W1972818437 @default.
- W2139635405 hasRelatedWork W1982223289 @default.
- W2139635405 hasRelatedWork W1985562074 @default.
- W2139635405 hasRelatedWork W2096455207 @default.
- W2139635405 hasRelatedWork W2096803479 @default.
- W2139635405 hasRelatedWork W2098971106 @default.