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]
Abstract is missing.