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

by J Hatcliff, W Deng, M Dwyer, G Jung, V Prasad
Venue:in: Proceedings of the 25th International Conference on Software Engineering