Matches in SemOpenAlex for { <https://semopenalex.org/work/W4381738444> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4381738444 endingPage "2" @default.
- W4381738444 startingPage "1" @default.
- W4381738444 abstract "The first attempts to apply the k-induction method to software verification are only recent. In this paper, we present a novel proof by induction algorithm, which is built on the top of a symbolic context-bounded model checker and uses an iterative ..." @default.
- W4381738444 created "2023-06-24" @default.
- W4381738444 creator A5026435847 @default.
- W4381738444 creator A5045181048 @default.
- W4381738444 creator A5053134485 @default.
- W4381738444 date "2023-06-23" @default.
- W4381738444 modified "2023-09-26" @default.
- W4381738444 title "Introduction to the Special Section on FM 2021" @default.
- W4381738444 doi "https://doi.org/10.1145/3604594" @default.
- W4381738444 hasPublicationYear "2023" @default.
- W4381738444 type Work @default.
- W4381738444 citedByCount "0" @default.
- W4381738444 crossrefType "journal-article" @default.
- W4381738444 hasAuthorship W4381738444A5026435847 @default.
- W4381738444 hasAuthorship W4381738444A5045181048 @default.
- W4381738444 hasAuthorship W4381738444A5053134485 @default.
- W4381738444 hasBestOaLocation W43817384441 @default.
- W4381738444 hasConcept C110251889 @default.
- W4381738444 hasConcept C111919701 @default.
- W4381738444 hasConcept C11413529 @default.
- W4381738444 hasConcept C134306372 @default.
- W4381738444 hasConcept C151730666 @default.
- W4381738444 hasConcept C199360897 @default.
- W4381738444 hasConcept C24858836 @default.
- W4381738444 hasConcept C2777904410 @default.
- W4381738444 hasConcept C2779343474 @default.
- W4381738444 hasConcept C2780129039 @default.
- W4381738444 hasConcept C33923547 @default.
- W4381738444 hasConcept C34388435 @default.
- W4381738444 hasConcept C41008148 @default.
- W4381738444 hasConcept C80444323 @default.
- W4381738444 hasConcept C86803240 @default.
- W4381738444 hasConceptScore W4381738444C110251889 @default.
- W4381738444 hasConceptScore W4381738444C111919701 @default.
- W4381738444 hasConceptScore W4381738444C11413529 @default.
- W4381738444 hasConceptScore W4381738444C134306372 @default.
- W4381738444 hasConceptScore W4381738444C151730666 @default.
- W4381738444 hasConceptScore W4381738444C199360897 @default.
- W4381738444 hasConceptScore W4381738444C24858836 @default.
- W4381738444 hasConceptScore W4381738444C2777904410 @default.
- W4381738444 hasConceptScore W4381738444C2779343474 @default.
- W4381738444 hasConceptScore W4381738444C2780129039 @default.
- W4381738444 hasConceptScore W4381738444C33923547 @default.
- W4381738444 hasConceptScore W4381738444C34388435 @default.
- W4381738444 hasConceptScore W4381738444C41008148 @default.
- W4381738444 hasConceptScore W4381738444C80444323 @default.
- W4381738444 hasConceptScore W4381738444C86803240 @default.
- W4381738444 hasIssue "2" @default.
- W4381738444 hasLocation W43817384441 @default.
- W4381738444 hasOpenAccess W4381738444 @default.
- W4381738444 hasPrimaryLocation W43817384441 @default.
- W4381738444 hasRelatedWork W1598914363 @default.
- W4381738444 hasRelatedWork W1748450182 @default.
- W4381738444 hasRelatedWork W2137661662 @default.
- W4381738444 hasRelatedWork W2148216723 @default.
- W4381738444 hasRelatedWork W2151898527 @default.
- W4381738444 hasRelatedWork W2275271575 @default.
- W4381738444 hasRelatedWork W2419489257 @default.
- W4381738444 hasRelatedWork W2807819528 @default.
- W4381738444 hasRelatedWork W4295885746 @default.
- W4381738444 hasRelatedWork W1580211323 @default.
- W4381738444 hasVolume "35" @default.
- W4381738444 isParatext "false" @default.
- W4381738444 isRetracted "false" @default.
- W4381738444 workType "article" @default.