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

by John Hatcliff, William Deng, Matthew Dwyer, Georg Jung, Venkatesh Prasad
Venue:In Proceedings of the 25th International Conference on Software Engineering