Matches in SemOpenAlex for { <https://semopenalex.org/work/W2317465629> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W2317465629 abstract "Checking of a program conformity with a contract specification is a hard problem. Usually this check requires high time and memory expenses. This work describes a technique that allows to lower verification costs through usage of some information known by people who verify a program and contains suggestions of the way how to organize it." @default.
- W2317465629 created "2016-06-24" @default.
- W2317465629 creator A5089273266 @default.
- W2317465629 date "2012-01-01" @default.
- W2317465629 modified "2023-09-23" @default.
- W2317465629 title "Enhancement of Automated Static Verification Efficiency Through Manual Quantifiers Instantiation" @default.
- W2317465629 cites W1536511644 @default.
- W2317465629 cites W1552077729 @default.
- W2317465629 cites W2012188345 @default.
- W2317465629 cites W2048325117 @default.
- W2317465629 cites W2057361103 @default.
- W2317465629 cites W3146075203 @default.
- W2317465629 doi "https://doi.org/10.15514/syrcose-2012-6-14" @default.
- W2317465629 hasPublicationYear "2012" @default.
- W2317465629 type Work @default.
- W2317465629 sameAs 2317465629 @default.
- W2317465629 citedByCount "0" @default.
- W2317465629 crossrefType "proceedings-article" @default.
- W2317465629 hasAuthorship W2317465629A5089273266 @default.
- W2317465629 hasBestOaLocation W23174656291 @default.
- W2317465629 hasConcept C199360897 @default.
- W2317465629 hasConcept C204321447 @default.
- W2317465629 hasConcept C41008148 @default.
- W2317465629 hasConceptScore W2317465629C199360897 @default.
- W2317465629 hasConceptScore W2317465629C204321447 @default.
- W2317465629 hasConceptScore W2317465629C41008148 @default.
- W2317465629 hasLocation W23174656291 @default.
- W2317465629 hasLocation W23174656292 @default.
- W2317465629 hasOpenAccess W2317465629 @default.
- W2317465629 hasPrimaryLocation W23174656291 @default.
- W2317465629 hasRelatedWork W1527862632 @default.
- W2317465629 hasRelatedWork W2112962394 @default.
- W2317465629 hasRelatedWork W2118300983 @default.
- W2317465629 hasRelatedWork W2135396778 @default.
- W2317465629 hasRelatedWork W2166247150 @default.
- W2317465629 hasRelatedWork W2382501300 @default.
- W2317465629 hasRelatedWork W2740990710 @default.
- W2317465629 hasRelatedWork W3137189469 @default.
- W2317465629 hasRelatedWork W4235530921 @default.
- W2317465629 hasRelatedWork W4243252198 @default.
- W2317465629 isParatext "false" @default.
- W2317465629 isRetracted "false" @default.
- W2317465629 magId "2317465629" @default.
- W2317465629 workType "article" @default.