Program Logics for Certified Compilers (Q27976187)
Jump to navigation
Jump to search
book by Andrew Appel
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Program Logics for Certified Compilers |
book by Andrew Appel |
Statements
2014
0 references
Program Logics for Certified Compilers (English)
0 references
472
0 references
Identifiers
Program Logics for Certified Compilers
16 October 2020
1 reference