Automating security analysis: symbolic equivalence of constraint systems (Q5747780)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automating security analysis: symbolic equivalence of constraint systems |
scientific article; zbMATH DE number 5785466
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automating security analysis: symbolic equivalence of constraint systems |
scientific article; zbMATH DE number 5785466 |
Statements
Automating Security Analysis: Symbolic Equivalence of Constraint Systems (English)
0 references
14 September 2010
0 references
0.8937393426895142
0 references
0.8189865350723267
0 references
0.7949004769325256
0 references
