The following pages link to Ben Liblit (Q2371958):
Displaying 7 items.
- Cooperative bug isolation. Winning thesis of the 2005 ACM doctoral dissertation competition. (Q2371959) (← links)
- Tool support for proof engineering (Q2867938) (← links)
- (Q4779114) (← links)
- (Q4813403) (← links)
- Type systems for distributed data structures (Q5178853) (← links)
- Programming Languages and Systems (Q5899020) (← links)
- A Set-Covering Approach to Customized Coverage Instrumentation (Q6202328) (← links)