Quality, cleanroom and formal methods - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zarrin Langari, Anne Banks Pidduck. Quality, cleanroom and formal methods. In Barry W. Boehm, Sunita Chulani, June M. Verner, Bernard Wong, editors, Proceedings of the third workshop on Software quality, WoSQ@ICSE 2005, St. Louis, Missouri, USA, May 17, 2005. pages 35-39, ACM, 2005. [doi]

This author has not been identified. Look up 'Zarrin Langari' in GoogleThis author has not been identified. Look up 'Anne Banks Pidduck' in Google

runs on WebDSL