Matches in SemOpenAlex for { <https://semopenalex.org/work/W3145675087> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W3145675087 endingPage "5" @default.
- W3145675087 startingPage "1" @default.
- W3145675087 created "2021-04-13" @default.
- W3145675087 creator A5079082836 @default.
- W3145675087 date "2009-01-01" @default.
- W3145675087 modified "2023-09-23" @default.
- W3145675087 title "Guarding the guard: Using meta formal specifications to guard assertions" @default.
- W3145675087 hasPublicationYear "2009" @default.
- W3145675087 type Work @default.
- W3145675087 sameAs 3145675087 @default.
- W3145675087 citedByCount "0" @default.
- W3145675087 crossrefType "proceedings-article" @default.
- W3145675087 hasAuthorship W3145675087A5079082836 @default.
- W3145675087 hasConcept C141141315 @default.
- W3145675087 hasConcept C199360897 @default.
- W3145675087 hasConcept C38652104 @default.
- W3145675087 hasConcept C41008148 @default.
- W3145675087 hasConcept C75606506 @default.
- W3145675087 hasConceptScore W3145675087C141141315 @default.
- W3145675087 hasConceptScore W3145675087C199360897 @default.
- W3145675087 hasConceptScore W3145675087C38652104 @default.
- W3145675087 hasConceptScore W3145675087C41008148 @default.
- W3145675087 hasConceptScore W3145675087C75606506 @default.
- W3145675087 hasLocation W31456750871 @default.
- W3145675087 hasOpenAccess W3145675087 @default.
- W3145675087 hasPrimaryLocation W31456750871 @default.
- W3145675087 hasRelatedWork W1481518662 @default.
- W3145675087 hasRelatedWork W1537154714 @default.
- W3145675087 hasRelatedWork W1550301587 @default.
- W3145675087 hasRelatedWork W1560121789 @default.
- W3145675087 hasRelatedWork W1566925011 @default.
- W3145675087 hasRelatedWork W1965215722 @default.
- W3145675087 hasRelatedWork W1979512591 @default.
- W3145675087 hasRelatedWork W2043563043 @default.
- W3145675087 hasRelatedWork W208439881 @default.
- W3145675087 hasRelatedWork W2098799476 @default.
- W3145675087 hasRelatedWork W2143067915 @default.
- W3145675087 hasRelatedWork W2144972576 @default.
- W3145675087 hasRelatedWork W2214314364 @default.
- W3145675087 hasRelatedWork W2379065818 @default.
- W3145675087 hasRelatedWork W2911273612 @default.
- W3145675087 hasRelatedWork W2958694866 @default.
- W3145675087 hasRelatedWork W2994286089 @default.
- W3145675087 hasRelatedWork W3198051019 @default.
- W3145675087 hasRelatedWork W1490652043 @default.
- W3145675087 hasRelatedWork W2096716248 @default.
- W3145675087 isParatext "false" @default.
- W3145675087 isRetracted "false" @default.
- W3145675087 magId "3145675087" @default.
- W3145675087 workType "article" @default.