Cadena: An Integrated Development, Analysis, and Verification Environment for (2003)

by John Hatcliff, Xinghua Deng, Matthew B Dwyer, Georg Jung, Venkatesh P Ranganath
Venue:Component-based Systems,” International Conference on Software Engineering (ICSE