Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday (Q4968492)
From MaRDI portal
scientific article; zbMATH DE number 7080561
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday |
scientific article; zbMATH DE number 7080561 |
Statements
12 July 2019
0 references
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday (English)
0 references
