Unit verification: the CARA experience
| Title | Unit verification: the CARA experience |
| Publication Type | Journal Articles |
| Year of Publication | 2004 |
| Authors | Ray A, Cleaveland R |
| Journal | International Journal on Software Tools for Technology Transfer (STTT) |
| Volume | 5 |
| Issue | 4 |
| Pagination | 351 - 369 |
| Date Published | 2004/// |