Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems (2003)

by John Hatcliff , William Deng , Matthew B. Dwyer , Georg Jung , Venkatesh Ranganath
Venue:in Proceedings of the 25th International Conference on Software Engineering
Citations:110 - 13 self