Matches in SemOpenAlex for { <https://semopenalex.org/work/W2942066171> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2942066171 endingPage "657" @default.
- W2942066171 startingPage "647" @default.
- W2942066171 abstract "VerifyThis 2012 was a 2-day verification competition that took place as part of the International Symposium on Formal Methods (FM 2012) on August 30---31, 2012, in Paris, France. It was the second installment in the VerifyThis series. After the competition, an open call solicited contributions related to the VerifyThis 2012 challenges and overall goals. As a result, seven papers were submitted and, after review and revision, included in this special issue. In this introduction to the special issue, we provide an overview of the VerifyThis competition series, an account of related activities in the area, and an overview of solutions submitted to the organizers both during and after the 2012 competition. We conclude with a summary of results and some remarks concerning future installments of VerifyThis." @default.
- W2942066171 created "2019-05-03" @default.
- W2942066171 creator A5003866910 @default.
- W2942066171 creator A5045181048 @default.
- W2942066171 creator A5080463753 @default.
- W2942066171 date "2015-08-18" @default.
- W2942066171 modified "2023-09-26" @default.
- W2942066171 title "VerifyThis 2012" @default.
- W2942066171 cites W1517694985 @default.
- W2942066171 cites W1528438529 @default.
- W2942066171 cites W1545681762 @default.
- W2942066171 cites W1560971300 @default.
- W2942066171 cites W1580328473 @default.
- W2942066171 cites W1588132240 @default.
- W2942066171 cites W1756737887 @default.
- W2942066171 cites W1820726602 @default.
- W2942066171 cites W18861593 @default.
- W2942066171 cites W1977978965 @default.
- W2942066171 cites W1989153124 @default.
- W2942066171 cites W2018547229 @default.
- W2942066171 cites W2079614594 @default.
- W2942066171 cites W2081571665 @default.
- W2942066171 cites W2081629039 @default.
- W2942066171 cites W2099941001 @default.
- W2942066171 cites W2112172944 @default.
- W2942066171 cites W2119929369 @default.
- W2942066171 cites W2130427425 @default.
- W2942066171 cites W2130564474 @default.
- W2942066171 cites W2132051278 @default.
- W2942066171 cites W2212093233 @default.
- W2942066171 cites W2482959153 @default.
- W2942066171 cites W2912949875 @default.
- W2942066171 cites W4253543873 @default.
- W2942066171 doi "https://doi.org/10.1007/s10009-015-0396-8" @default.
- W2942066171 hasPublicationYear "2015" @default.
- W2942066171 type Work @default.
- W2942066171 sameAs 2942066171 @default.
- W2942066171 citedByCount "28" @default.
- W2942066171 countsByYear W29420661712016 @default.
- W2942066171 countsByYear W29420661712017 @default.
- W2942066171 countsByYear W29420661712018 @default.
- W2942066171 countsByYear W29420661712019 @default.
- W2942066171 countsByYear W29420661712020 @default.
- W2942066171 countsByYear W29420661712021 @default.
- W2942066171 countsByYear W29420661712022 @default.
- W2942066171 crossrefType "journal-article" @default.
- W2942066171 hasAuthorship W2942066171A5003866910 @default.
- W2942066171 hasAuthorship W2942066171A5045181048 @default.
- W2942066171 hasAuthorship W2942066171A5080463753 @default.
- W2942066171 hasBestOaLocation W29420661712 @default.
- W2942066171 hasConcept C199360897 @default.
- W2942066171 hasConcept C24858836 @default.
- W2942066171 hasConcept C41008148 @default.
- W2942066171 hasConceptScore W2942066171C199360897 @default.
- W2942066171 hasConceptScore W2942066171C24858836 @default.
- W2942066171 hasConceptScore W2942066171C41008148 @default.
- W2942066171 hasIssue "6" @default.
- W2942066171 hasLocation W29420661711 @default.
- W2942066171 hasLocation W29420661712 @default.
- W2942066171 hasLocation W29420661713 @default.
- W2942066171 hasOpenAccess W2942066171 @default.
- W2942066171 hasPrimaryLocation W29420661711 @default.
- W2942066171 hasRelatedWork W1983165119 @default.
- W2942066171 hasRelatedWork W1983292127 @default.
- W2942066171 hasRelatedWork W1988596123 @default.
- W2942066171 hasRelatedWork W2094847482 @default.
- W2942066171 hasRelatedWork W2205929132 @default.
- W2942066171 hasRelatedWork W2390279801 @default.
- W2942066171 hasRelatedWork W2748952813 @default.
- W2942066171 hasRelatedWork W2899084033 @default.
- W2942066171 hasRelatedWork W3003496213 @default.
- W2942066171 hasRelatedWork W3046485619 @default.
- W2942066171 hasVolume "17" @default.
- W2942066171 isParatext "false" @default.
- W2942066171 isRetracted "false" @default.
- W2942066171 magId "2942066171" @default.
- W2942066171 workType "article" @default.