The following pages link to Frédéric Haziza (Q2796062):
Displayed 6 items.
- Pointer Race Freedom (Q2796063) (← links)
- All for the Price of Few (Q2926658) (← links)
- Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503) (← links)
- Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification (Q3584923) (← links)
- (Q5240148) (← links)
- An Integrated Specification and Verification Technique for Highly Concurrent Data Structures (Q5326334) (← links)