Matches in SemOpenAlex for { <https://semopenalex.org/work/W3142742432> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W3142742432 created "2021-04-13" @default.
- W3142742432 creator A5005035346 @default.
- W3142742432 creator A5040506530 @default.
- W3142742432 creator A5084801674 @default.
- W3142742432 date "2006-10-01" @default.
- W3142742432 modified "2023-09-26" @default.
- W3142742432 title "Generating Proof Obligation to Verify Object-Z Specification" @default.
- W3142742432 cites W1480324094 @default.
- W3142742432 cites W1992036716 @default.
- W3142742432 cites W2167505942 @default.
- W3142742432 doi "https://doi.org/10.1109/icsea.2006.261294" @default.
- W3142742432 hasPublicationYear "2006" @default.
- W3142742432 type Work @default.
- W3142742432 sameAs 3142742432 @default.
- W3142742432 citedByCount "1" @default.
- W3142742432 countsByYear W31427424322015 @default.
- W3142742432 crossrefType "proceedings-article" @default.
- W3142742432 hasAuthorship W3142742432A5005035346 @default.
- W3142742432 hasAuthorship W3142742432A5040506530 @default.
- W3142742432 hasAuthorship W3142742432A5084801674 @default.
- W3142742432 hasConcept C111919701 @default.
- W3142742432 hasConcept C124978682 @default.
- W3142742432 hasConcept C154945302 @default.
- W3142742432 hasConcept C17744445 @default.
- W3142742432 hasConcept C199360897 @default.
- W3142742432 hasConcept C199539241 @default.
- W3142742432 hasConcept C2778447849 @default.
- W3142742432 hasConcept C2781238097 @default.
- W3142742432 hasConcept C41008148 @default.
- W3142742432 hasConceptScore W3142742432C111919701 @default.
- W3142742432 hasConceptScore W3142742432C124978682 @default.
- W3142742432 hasConceptScore W3142742432C154945302 @default.
- W3142742432 hasConceptScore W3142742432C17744445 @default.
- W3142742432 hasConceptScore W3142742432C199360897 @default.
- W3142742432 hasConceptScore W3142742432C199539241 @default.
- W3142742432 hasConceptScore W3142742432C2778447849 @default.
- W3142742432 hasConceptScore W3142742432C2781238097 @default.
- W3142742432 hasConceptScore W3142742432C41008148 @default.
- W3142742432 hasLocation W31427424321 @default.
- W3142742432 hasOpenAccess W3142742432 @default.
- W3142742432 hasPrimaryLocation W31427424321 @default.
- W3142742432 hasRelatedWork W1527862632 @default.
- W3142742432 hasRelatedWork W1652311832 @default.
- W3142742432 hasRelatedWork W2118300983 @default.
- W3142742432 hasRelatedWork W2135396778 @default.
- W3142742432 hasRelatedWork W2166247150 @default.
- W3142742432 hasRelatedWork W2243428364 @default.
- W3142742432 hasRelatedWork W2462453872 @default.
- W3142742432 hasRelatedWork W3207171446 @default.
- W3142742432 hasRelatedWork W4243252198 @default.
- W3142742432 hasRelatedWork W4245713008 @default.
- W3142742432 isParatext "false" @default.
- W3142742432 isRetracted "false" @default.
- W3142742432 magId "3142742432" @default.
- W3142742432 workType "article" @default.