Unit verification: the CARA experience

TitleUnit verification: the CARA experience
Publication TypeJournal Articles
Year of Publication2004
AuthorsRay A, Cleaveland R
JournalInternational Journal on Software Tools for Technology Transfer (STTT)
Volume5
Issue4
Pagination351 - 369
Date Published2004///