Oracle-based checking of untrusted software (Q5178881)
From MaRDI portal
scientific article; zbMATH DE number 6416238
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Oracle-based checking of untrusted software |
scientific article; zbMATH DE number 6416238 |
Statements
Oracle-based checking of untrusted software (English)
0 references
17 March 2015
0 references
