A Reachability Predicate for Analyzing Low-Level Software (Q5758100)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5185765
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A Reachability Predicate for Analyzing Low-Level Software |
scientific article; zbMATH DE number 5185765 |
Statements
A Reachability Predicate for Analyzing Low-Level Software (English)
0 references
3 September 2007
0 references
0.7460626363754272
0 references
0.7292319536209106
0 references
0.7247490882873535
0 references
0.7191863059997559
0 references
0.7106845378875732
0 references
