Pages that link to "Item:Q5261528"
From MaRDI portal
The following pages link to Unifying type checking and property checking for low-level code (Q5261528):
Displaying 4 items.
- Partitioned Memory Models for Program Analysis (Q2961587) (← links)
- ExplainHoudini: Making Houdini Inference Transparent (Q3075491) (← links)
- Complexity and Algorithms for Monomial and Clausal Predicate Abstraction (Q5191104) (← links)
- Heaps and Data Structures: A Challenge for Automated Provers (Q5200023) (← links)
