Automating the analysis of design component contracts (2006)

by J Dong, P S C Alencar, D D Cowan
Venue:Softw. Pract. Exp