Matches in SemOpenAlex for { <https://semopenalex.org/work/W4253676934> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4253676934 endingPage "814" @default.
- W4253676934 startingPage "805" @default.
- W4253676934 created "2022-05-12" @default.
- W4253676934 creator A5010378997 @default.
- W4253676934 creator A5076852664 @default.
- W4253676934 date "2013-11-01" @default.
- W4253676934 modified "2023-09-27" @default.
- W4253676934 title "Program Verification: State of the Art, Problems, and Results. I" @default.
- W4253676934 cites W1967606107 @default.
- W4253676934 cites W1998717006 @default.
- W4253676934 cites W2019052389 @default.
- W4253676934 cites W2019702440 @default.
- W4253676934 cites W2084875723 @default.
- W4253676934 doi "https://doi.org/10.1007/s10559-013-9569-1" @default.
- W4253676934 hasPublicationYear "2013" @default.
- W4253676934 type Work @default.
- W4253676934 citedByCount "1" @default.
- W4253676934 countsByYear W42536769342014 @default.
- W4253676934 crossrefType "journal-article" @default.
- W4253676934 hasAuthorship W4253676934A5010378997 @default.
- W4253676934 hasAuthorship W4253676934A5076852664 @default.
- W4253676934 hasConcept C115903868 @default.
- W4253676934 hasConcept C120314980 @default.
- W4253676934 hasConcept C127413603 @default.
- W4253676934 hasConcept C136155141 @default.
- W4253676934 hasConcept C199360897 @default.
- W4253676934 hasConcept C201995342 @default.
- W4253676934 hasConcept C38677869 @default.
- W4253676934 hasConcept C41008148 @default.
- W4253676934 hasConcept C48103436 @default.
- W4253676934 hasConcept C527412718 @default.
- W4253676934 hasConcept C80444323 @default.
- W4253676934 hasConceptScore W4253676934C115903868 @default.
- W4253676934 hasConceptScore W4253676934C120314980 @default.
- W4253676934 hasConceptScore W4253676934C127413603 @default.
- W4253676934 hasConceptScore W4253676934C136155141 @default.
- W4253676934 hasConceptScore W4253676934C199360897 @default.
- W4253676934 hasConceptScore W4253676934C201995342 @default.
- W4253676934 hasConceptScore W4253676934C38677869 @default.
- W4253676934 hasConceptScore W4253676934C41008148 @default.
- W4253676934 hasConceptScore W4253676934C48103436 @default.
- W4253676934 hasConceptScore W4253676934C527412718 @default.
- W4253676934 hasConceptScore W4253676934C80444323 @default.
- W4253676934 hasIssue "6" @default.
- W4253676934 hasLocation W42536769341 @default.
- W4253676934 hasOpenAccess W4253676934 @default.
- W4253676934 hasPrimaryLocation W42536769341 @default.
- W4253676934 hasRelatedWork W1484781210 @default.
- W4253676934 hasRelatedWork W1497924817 @default.
- W4253676934 hasRelatedWork W2091260341 @default.
- W4253676934 hasRelatedWork W2101052162 @default.
- W4253676934 hasRelatedWork W2101878283 @default.
- W4253676934 hasRelatedWork W2121853504 @default.
- W4253676934 hasRelatedWork W2148229336 @default.
- W4253676934 hasRelatedWork W2274928617 @default.
- W4253676934 hasRelatedWork W2389176218 @default.
- W4253676934 hasRelatedWork W228814028 @default.
- W4253676934 hasVolume "49" @default.
- W4253676934 isParatext "false" @default.
- W4253676934 isRetracted "false" @default.
- W4253676934 workType "article" @default.