Matches in SemOpenAlex for { <https://semopenalex.org/work/W2613916750> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2613916750 abstract "In this paper we report the experience of using AutoProof for static verification of a small object oriented program. We identify the problems that emerge by this activity and classify them according to their nature. In particular, we distinguish between tool-related and methodology-related issues, and propose necessary changes to simplify both the tool and the method." @default.
- W2613916750 created "2017-05-19" @default.
- W2613916750 creator A5010557969 @default.
- W2613916750 creator A5035320303 @default.
- W2613916750 creator A5039046851 @default.
- W2613916750 creator A5075175655 @default.
- W2613916750 date "2018-01-01" @default.
- W2613916750 modified "2023-09-22" @default.
- W2613916750 title "Initial Steps Towards Assessing the Usability of a Verification Tool" @default.
- W2613916750 cites W1557299972 @default.
- W2613916750 cites W1609389414 @default.
- W2613916750 cites W1970711751 @default.
- W2613916750 cites W2011329314 @default.
- W2613916750 cites W2031525781 @default.
- W2613916750 cites W2267427578 @default.
- W2613916750 cites W3022025871 @default.
- W2613916750 cites W3022311845 @default.
- W2613916750 cites W4205193154 @default.
- W2613916750 doi "https://doi.org/10.1007/978-3-319-70578-1_4" @default.
- W2613916750 hasPublicationYear "2018" @default.
- W2613916750 type Work @default.
- W2613916750 sameAs 2613916750 @default.
- W2613916750 citedByCount "3" @default.
- W2613916750 countsByYear W26139167502019 @default.
- W2613916750 countsByYear W26139167502020 @default.
- W2613916750 countsByYear W26139167502022 @default.
- W2613916750 crossrefType "book-chapter" @default.
- W2613916750 hasAuthorship W2613916750A5010557969 @default.
- W2613916750 hasAuthorship W2613916750A5035320303 @default.
- W2613916750 hasAuthorship W2613916750A5039046851 @default.
- W2613916750 hasAuthorship W2613916750A5075175655 @default.
- W2613916750 hasBestOaLocation W26139167502 @default.
- W2613916750 hasConcept C107457646 @default.
- W2613916750 hasConcept C115903868 @default.
- W2613916750 hasConcept C170130773 @default.
- W2613916750 hasConcept C41008148 @default.
- W2613916750 hasConceptScore W2613916750C107457646 @default.
- W2613916750 hasConceptScore W2613916750C115903868 @default.
- W2613916750 hasConceptScore W2613916750C170130773 @default.
- W2613916750 hasConceptScore W2613916750C41008148 @default.
- W2613916750 hasLocation W26139167501 @default.
- W2613916750 hasLocation W26139167502 @default.
- W2613916750 hasOpenAccess W2613916750 @default.
- W2613916750 hasPrimaryLocation W26139167501 @default.
- W2613916750 hasRelatedWork W1484105275 @default.
- W2613916750 hasRelatedWork W1491587310 @default.
- W2613916750 hasRelatedWork W1562419634 @default.
- W2613916750 hasRelatedWork W2004066339 @default.
- W2613916750 hasRelatedWork W2050443698 @default.
- W2613916750 hasRelatedWork W2110894637 @default.
- W2613916750 hasRelatedWork W2188013150 @default.
- W2613916750 hasRelatedWork W2408673862 @default.
- W2613916750 hasRelatedWork W2460867013 @default.
- W2613916750 hasRelatedWork W2598152174 @default.
- W2613916750 hasRelatedWork W2754666196 @default.
- W2613916750 hasRelatedWork W2758964383 @default.
- W2613916750 hasRelatedWork W2763447832 @default.
- W2613916750 hasRelatedWork W2783211592 @default.
- W2613916750 hasRelatedWork W2884582738 @default.
- W2613916750 hasRelatedWork W2898294387 @default.
- W2613916750 hasRelatedWork W2899445757 @default.
- W2613916750 hasRelatedWork W2911521495 @default.
- W2613916750 hasRelatedWork W3144859928 @default.
- W2613916750 hasRelatedWork W582523446 @default.
- W2613916750 isParatext "false" @default.
- W2613916750 isRetracted "false" @default.
- W2613916750 magId "2613916750" @default.
- W2613916750 workType "book-chapter" @default.