Error Explanation with Distance Metrics
Alex Groce‚ Sagar Chaki‚ Daniel Kroening and Ofer Strichman
Details
| Journal |
Software Tools for Technology Transfer (STTT) |
| Month |
June |
| Pages |
229–247 |
| Publisher |
Springer |
| Volume |
8 |
| Year |
2006 |
Links
Related pages
|
People |