The following pages link to Susan Eisenbach (Q859836):
Displaying 10 items.
- A flexible model for dynamic linking in Java and C\# (Q859837) (← links)
- Zeno: An Automated Prover for Properties of Recursive Data Structures (Q2894285) (← links)
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675) (← links)
- (Q3046775) (← links)
- (Q4301154) (← links)
- (Q4417651) (← links)
- (Q4417881) (← links)
- (Q4738855) (← links)
- Holistic Specifications for Robust Programs (Q5039542) (← links)
- Programming Languages and Systems (Q5308696) (← links)
