Verification of the IBOS Browser Security Properties in Reachability Logic (Q6486045)
From MaRDI portal
scientific article; zbMATH DE number 7636417
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification of the IBOS Browser Security Properties in Reachability Logic |
scientific article; zbMATH DE number 7636417 |
Statements
Verification of the IBOS Browser Security Properties in Reachability Logic (English)
0 references
22 December 2022
0 references
