Separation Logic for Multiple Inheritance (Q5415606)
From MaRDI portal
scientific article; zbMATH DE number 6294808
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Separation Logic for Multiple Inheritance |
scientific article; zbMATH DE number 6294808 |
Statements
Separation Logic for Multiple Inheritance (English)
0 references
13 May 2014
0 references
multiple inheritance
0 references
separation logic
0 references
verification
0 references
