Publications

2 results for David Mandelin

Bayesian approaches to matching architectural diagrams
- - Doug Kimelman
  - Marsha Kimelman
  - et al.
- 2010
- IEEE TSE
Debugging temporal specifications with concept analysis
- - Glenn Ammons
  - David Mandelin
  - et al.
- 2003
- PLDI 2003