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

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