Matches in SemOpenAlex for { <https://semopenalex.org/work/W334404974> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W334404974 endingPage "168" @default.
- W334404974 startingPage "154" @default.
- W334404974 abstract "We, the organizers and participants, report our experiencesfrom the 1st Veried Software Competition, held in August 2010 in Edinburghat the VSTTE 2010 conference" @default.
- W334404974 created "2016-06-24" @default.
- W334404974 creator A5003866910 @default.
- W334404974 creator A5007731933 @default.
- W334404974 creator A5008329832 @default.
- W334404974 creator A5009276047 @default.
- W334404974 creator A5009871351 @default.
- W334404974 creator A5009872719 @default.
- W334404974 creator A5014066009 @default.
- W334404974 creator A5019876412 @default.
- W334404974 creator A5022437048 @default.
- W334404974 creator A5036882148 @default.
- W334404974 creator A5039009530 @default.
- W334404974 creator A5042359645 @default.
- W334404974 creator A5073853337 @default.
- W334404974 creator A5076207189 @default.
- W334404974 creator A5077941255 @default.
- W334404974 creator A5079528906 @default.
- W334404974 creator A5080463753 @default.
- W334404974 creator A5082586418 @default.
- W334404974 creator A5090671359 @default.
- W334404974 creator A5090867745 @default.
- W334404974 creator A5091115272 @default.
- W334404974 date "2011-06-20" @default.
- W334404974 modified "2023-10-17" @default.
- W334404974 title "The 1st Verified Software Competition, Extended Experience Report" @default.
- W334404974 hasPublicationYear "2011" @default.
- W334404974 type Work @default.
- W334404974 sameAs 334404974 @default.
- W334404974 citedByCount "0" @default.
- W334404974 crossrefType "proceedings-article" @default.
- W334404974 hasAuthorship W334404974A5003866910 @default.
- W334404974 hasAuthorship W334404974A5007731933 @default.
- W334404974 hasAuthorship W334404974A5008329832 @default.
- W334404974 hasAuthorship W334404974A5009276047 @default.
- W334404974 hasAuthorship W334404974A5009871351 @default.
- W334404974 hasAuthorship W334404974A5009872719 @default.
- W334404974 hasAuthorship W334404974A5014066009 @default.
- W334404974 hasAuthorship W334404974A5019876412 @default.
- W334404974 hasAuthorship W334404974A5022437048 @default.
- W334404974 hasAuthorship W334404974A5036882148 @default.
- W334404974 hasAuthorship W334404974A5039009530 @default.
- W334404974 hasAuthorship W334404974A5042359645 @default.
- W334404974 hasAuthorship W334404974A5073853337 @default.
- W334404974 hasAuthorship W334404974A5076207189 @default.
- W334404974 hasAuthorship W334404974A5077941255 @default.
- W334404974 hasAuthorship W334404974A5079528906 @default.
- W334404974 hasAuthorship W334404974A5080463753 @default.
- W334404974 hasAuthorship W334404974A5082586418 @default.
- W334404974 hasAuthorship W334404974A5090671359 @default.
- W334404974 hasAuthorship W334404974A5090867745 @default.
- W334404974 hasAuthorship W334404974A5091115272 @default.
- W334404974 hasConcept C115903868 @default.
- W334404974 hasConcept C18903297 @default.
- W334404974 hasConcept C199360897 @default.
- W334404974 hasConcept C2777904410 @default.
- W334404974 hasConcept C41008148 @default.
- W334404974 hasConcept C86803240 @default.
- W334404974 hasConcept C91306197 @default.
- W334404974 hasConceptScore W334404974C115903868 @default.
- W334404974 hasConceptScore W334404974C18903297 @default.
- W334404974 hasConceptScore W334404974C199360897 @default.
- W334404974 hasConceptScore W334404974C2777904410 @default.
- W334404974 hasConceptScore W334404974C41008148 @default.
- W334404974 hasConceptScore W334404974C86803240 @default.
- W334404974 hasConceptScore W334404974C91306197 @default.
- W334404974 hasLocation W3344049741 @default.
- W334404974 hasOpenAccess W334404974 @default.
- W334404974 hasPrimaryLocation W3344049741 @default.
- W334404974 hasRelatedWork W1485843881 @default.
- W334404974 hasRelatedWork W1878873061 @default.
- W334404974 hasRelatedWork W1984198633 @default.
- W334404974 hasRelatedWork W2114424739 @default.
- W334404974 hasRelatedWork W2119819045 @default.
- W334404974 hasRelatedWork W251908973 @default.
- W334404974 hasRelatedWork W3148703697 @default.
- W334404974 hasRelatedWork W80000144 @default.
- W334404974 isParatext "false" @default.
- W334404974 isRetracted "false" @default.
- W334404974 magId "334404974" @default.
- W334404974 workType "article" @default.