Matches in SemOpenAlex for { <https://semopenalex.org/work/W71736232> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W71736232 endingPage "442" @default.
- W71736232 startingPage "407" @default.
- W71736232 abstract "VeriFast is a separation logic-based program verifier for Java. This tutorial introduces the verifier's features step by step." @default.
- W71736232 created "2016-06-24" @default.
- W71736232 creator A5008329832 @default.
- W71736232 creator A5012443037 @default.
- W71736232 creator A5022437048 @default.
- W71736232 date "2013-01-01" @default.
- W71736232 modified "2023-10-17" @default.
- W71736232 title "VeriFast for Java: A Tutorial" @default.
- W71736232 cites W117888344 @default.
- W71736232 cites W1480909796 @default.
- W71736232 cites W1498831343 @default.
- W71736232 cites W1548974835 @default.
- W71736232 cites W1553421328 @default.
- W71736232 cites W1567479568 @default.
- W71736232 cites W1584342183 @default.
- W71736232 cites W1606142489 @default.
- W71736232 cites W1663061001 @default.
- W71736232 cites W1822136335 @default.
- W71736232 cites W1965662337 @default.
- W71736232 cites W1998838326 @default.
- W71736232 cites W2050576837 @default.
- W71736232 cites W2052363833 @default.
- W71736232 cites W2053154567 @default.
- W71736232 cites W2074285438 @default.
- W71736232 cites W2091089602 @default.
- W71736232 cites W2113058702 @default.
- W71736232 cites W2130162474 @default.
- W71736232 cites W2130427425 @default.
- W71736232 cites W2139289583 @default.
- W71736232 cites W2151131364 @default.
- W71736232 cites W2152567582 @default.
- W71736232 cites W2171685273 @default.
- W71736232 cites W29700130 @default.
- W71736232 cites W2987907651 @default.
- W71736232 cites W4232666937 @default.
- W71736232 cites W4237730680 @default.
- W71736232 cites W4245524452 @default.
- W71736232 cites W4245729501 @default.
- W71736232 cites W4249110288 @default.
- W71736232 cites W4256147943 @default.
- W71736232 doi "https://doi.org/10.1007/978-3-642-36946-9_14" @default.
- W71736232 hasPublicationYear "2013" @default.
- W71736232 type Work @default.
- W71736232 sameAs 71736232 @default.
- W71736232 citedByCount "11" @default.
- W71736232 countsByYear W717362322013 @default.
- W71736232 countsByYear W717362322014 @default.
- W71736232 countsByYear W717362322015 @default.
- W71736232 countsByYear W717362322016 @default.
- W71736232 countsByYear W717362322021 @default.
- W71736232 crossrefType "book-chapter" @default.
- W71736232 hasAuthorship W71736232A5008329832 @default.
- W71736232 hasAuthorship W71736232A5012443037 @default.
- W71736232 hasAuthorship W71736232A5022437048 @default.
- W71736232 hasConcept C111919701 @default.
- W71736232 hasConcept C115903868 @default.
- W71736232 hasConcept C199360897 @default.
- W71736232 hasConcept C41008148 @default.
- W71736232 hasConcept C548217200 @default.
- W71736232 hasConceptScore W71736232C111919701 @default.
- W71736232 hasConceptScore W71736232C115903868 @default.
- W71736232 hasConceptScore W71736232C199360897 @default.
- W71736232 hasConceptScore W71736232C41008148 @default.
- W71736232 hasConceptScore W71736232C548217200 @default.
- W71736232 hasLocation W717362321 @default.
- W71736232 hasOpenAccess W71736232 @default.
- W71736232 hasPrimaryLocation W717362321 @default.
- W71736232 hasRelatedWork W1490787830 @default.
- W71736232 hasRelatedWork W1493446239 @default.
- W71736232 hasRelatedWork W1556422878 @default.
- W71736232 hasRelatedWork W1595868262 @default.
- W71736232 hasRelatedWork W1825982205 @default.
- W71736232 hasRelatedWork W21169582 @default.
- W71736232 hasRelatedWork W2122692581 @default.
- W71736232 hasRelatedWork W3006032443 @default.
- W71736232 hasRelatedWork W4243252198 @default.
- W71736232 hasRelatedWork W2528467228 @default.
- W71736232 isParatext "false" @default.
- W71736232 isRetracted "false" @default.
- W71736232 magId "71736232" @default.
- W71736232 workType "book-chapter" @default.