Abstract interpretation-based approaches to security -- a survey on abstract non-interference and its challenging applications (Q4994686)
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: Abstract interpretation-based approaches to security -- a survey on abstract non-interference and its challenging applications |
scientific article; zbMATH DE number 7361347
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Abstract interpretation-based approaches to security -- a survey on abstract non-interference and its challenging applications |
scientific article; zbMATH DE number 7361347 |
Statements
21 June 2021
0 references
0.8356428742408752
0 references
0.82490074634552
0 references
0.8058710694313049
0 references
0.7911637425422668
0 references
0.7717782855033875
0 references
